Strange structures from computable model theory

DOI10.1215/00294527-3767941MaRDI QIDQ509606zbMATH OpenOpenAlexFDO

Authors Howard Becker

Publication date 17 February 2017

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-3767941

zbMATH Keywords

computable structuresaxiom of determinacyScott rank

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15) Determinacy principles (03E60)

Recommendations

• Some new computable structures of high rank
• Computable structures of rank \(\omega _1^{\mathrm{CK}}\)
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
• An introduction to the Scott complexity of countable structures and a survey of recent results
• Isomorphism of Computable Structures and Vaught's Conjecture

Cited in

(2)

• Assigning an isomorphism type to a hyperdegree
• An introduction to the Scott complexity of countable structures and a survey of recent results

This page was built for publication: Strange structures from computable model theory

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