Countable structures -definable over classical continuous number systems

DOI10.1134/S1064562407050250zbMATH Open1152.03025OpenAlexW2072877941MaRDI QIDQ957779FDOQ957779

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)

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

   Recommendations

• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions 👍 👎
• On the countable definability of sets 👍 👎
• Title not available (Why is that?) 👍 👎
• Gap-definable counting classes 👍 👎
• The classification of countable models of set theory 👍 👎
• Arithmetical definability over finite structures 👍 👎
• Title not available (Why is that?) 👍 👎
• Countable dense homogeneity of definable spaces 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)