Computable Model Theory over the Reals

DOI10.1007/978-3-319-50062-1_22zbMath1485.03117OpenAlexW2558458100MaRDI QIDQ2970968

Andrey S. Morozov

Publication date: 4 April 2017

Published in: Computability and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-50062-1_22

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites Work

• On \(\Sigma\)-rigid presentations of the real order
• Some presentations of the real number field
• Nonpresentability of some structures of analysis in hereditarily finite superstructures
• \(\Sigma\)-presentations of the ordering on the reals
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Positive predicate structures for continuous data
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computable Model Theory over the Reals