On \(\Sigma\)-rigid presentations of the real order

DOI10.1134/S0037446614030070zbMath1314.03035OpenAlexW2066130212MaRDI QIDQ404712

Andrey S. Morozov

Publication date: 4 September 2014

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

computabilitylinear ordercomputable model\(\Sigma\)-definability\(\Sigma\)-presentation

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Logic on admissible sets (03C70)

Related Items

A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ On mutual definability of operations on fields ⋮ On \(\Sigma\)-rigid presentations of the real order ⋮ Computable Model Theory over the Reals ⋮ Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)

Cites Work

• On \(\Sigma\)-rigid presentations of the real order
• Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
• Some presentations of the real number field
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item