title: On logical and topological classifications of regular languages on infinite ordinal words
metadata.name: dc.contributor.advisor
metadata.value: Баженов Николай Алексеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Bazenov Nikolaj Alekseevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Ореховский Владислав Николаевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Orehovskij Vladislav Nikolaevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Селиванов Виктор Львович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Selivanov Viktor Lvovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:51:42Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:51:42Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 110460
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/47031
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В данной работе установлено точное соотношение между логическими и топологическими классификациями регулярных языков на ординальных словах. В частности, для любого уровня иерархии Вагнера приведено предложение логики первого порядка такое, что аксиоматизируемый им язык принадлежит в точности этому уровню. Структура этого предложения повторяет теоретико-множественную операцию, описывающую этот уровень как класс Вэджа. Также доказаны точные оценки на топологическую сложность регулярных языков на ординальных словах в терминах иерархии Бореля, обобщающие теорему Ландвебера.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: We describe precise relationships between logical and topological classifications of regular languages on ordinal words. In particular, for any level of the Wagner hierarchy we provide a first-order sentence such that the corresponding language on ordinal words is precisely at this level. The structure of the sentence closely mimics a set-theoretic operation describing the level as a Wadge class. Also we prove the tight bounds on topological complexity of regular languages on ordinal words in terms of the Borel hierarchy, extending the Landweber theorem.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: иерархия Вэджа
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: тонкая иерархия
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: иерархия Бореля
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: разностные иерархии
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: регулярный язык
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Wadge hierarchy
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: fine hierarchy
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Borel hierarchy
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: difference hierarchies
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: regular language
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: On logical and topological classifications of regular languages on infinite ordinal words
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: О логических и топологических классификациях регулярных языков на бесконечных ординальных словах
metadata.lang: ru_RU
resources.filename: thesisOrekhovskii.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/47031/2/thesisOrekhovskii.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 533,76 kB
resources.filename: reviewSV_Otzyv_Orehovskij.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/47031/3/reviewSV_Otzyv_Orehovskij.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 198,41 kB