Countable structures \(\Sigma \)-definable over classical continuous number systems

DOI10.1134/S1064562407050250zbMath1152.03025OpenAlexW2072877941MaRDI QIDQ957779

Andrey S. Morozov, Margarita 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

• Unnamed Item
• Unnamed Item

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