dc.contributor.author |
Bazhenov N. |
|
dc.contributor.author |
Downey R. |
|
dc.contributor.author |
Kalimullin I. |
|
dc.contributor.author |
Melnikov A. |
|
dc.date.accessioned |
2020-01-15T21:46:11Z |
|
dc.date.available |
2020-01-15T21:46:11Z |
|
dc.date.issued |
2019 |
|
dc.identifier.issn |
1079-8986 |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/155777 |
|
dc.description.abstract |
Copyright © 2019 The Association for Symbolic Logic. The survey contains a detailed discussion of methods and results in the new emerging area of online punctual structure theory. We also state several open problems. |
|
dc.relation.ispartofseries |
Bulletin of Symbolic Logic |
|
dc.subject |
online computation |
|
dc.subject |
primitive recursion |
|
dc.subject |
punctual set theory |
|
dc.title |
FOUNDATIONS OF ONLINE STRUCTURE THEORY |
|
dc.type |
Review |
|
dc.relation.ispartofseries-issue |
2 |
|
dc.relation.ispartofseries-volume |
25 |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
141 |
|
dc.source.id |
SCOPUS10798986-2019-25-2-SID85069631432 |
|