Countable structures -definable over classical continuous number systems

DOI10.1134/S1064562407050250MaRDI QIDQ957779zbMATH OpenOpenAlexFDO

Authors Andrei S. Morozov, M. V. Korovina

Publication date 1 December 2008

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064562407050250

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• On the countable definability of sets
• scientific article; zbMATH DE number 515737
• Gap-definable counting classes
• The classification of countable models of set theory
• Arithmetical definability over finite structures
• scientific article; zbMATH DE number 57755
• Countable dense homogeneity of definable spaces
• scientific article; zbMATH DE number 1302874
• Definability in classes of finite structures

Cited in

(1)

• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

This page was built for publication: Countable structures \(\Sigma \)-definable over classical continuous number systems

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