Some presentations of the real number field
From MaRDI portal
Publication:694238
DOI10.1007/s10469-012-9171-zzbMath1334.03039OpenAlexW2053010781MaRDI QIDQ694238
Publication date: 11 December 2012
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-012-9171-z
Connections between field theory and logic (12L99) Interpolation, preservation, definability (03C40) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (9)
A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ Nonpresentability of some structures of analysis 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)\) ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field ⋮ \(\Sigma\)-presentations of the ordering on the reals
Cites Work
This page was built for publication: Some presentations of the real number field