\(\Sigma\)-presentations of the ordering on the reals

DOI10.1007/S10469-014-9285-6zbMath1323.03047OpenAlexW2074055858MaRDI QIDQ2342315

Andrey S. Morozov

Publication date: 11 May 2015

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-014-9285-6

zbMATH Keywords

admissible set\(\Sigma\)-presentationordering on reals

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 (3)

A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ On mutual definability of operations on fields ⋮ Computable Model Theory over the Reals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some presentations of the real number field
• Problem of the number of non-self-equivalent constructivizations
• Degree spectra and computable dimensions in algebraic structures
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Model Theory

This page was built for publication: \(\Sigma\)-presentations of the ordering on the reals