Scott rank of automatic partial orders

MaRDI QIDQ2898957zbMATH OpenFDO

Authors Aleksandra Anatol'evna Gavryushkina

Publication date 13 July 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

automatic structurepartial orderScott rank

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Model-theoretic complexity of automatic structures
• Model Theoretic Complexity of Automatic Structures (Extended Abstract)
• Autostability of automatic representations of well-orders and lower-rank linear orders
• Scott ranks of models of a theory
• Computable structures of rank \(\omega _1^{\mathrm{CK}}\)

Cited in

(2)

• Model Theoretic Complexity of Automatic Structures (Extended Abstract)
• Model-theoretic complexity of automatic structures

This page was built for publication: Scott rank of automatic partial orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2898957)