Countable structures -definable over classical continuous number systems

DOI10.1134/S1064562407050250zbMATH Open1152.03025OpenAlexW2072877941MaRDI QIDQ957779FDOQ957779

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

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
• Countable dense homogeneity of definable spaces
• scientific article; zbMATH DE number 1302874
• Definability in classes of finite structures

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

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)