On -rigid presentations of the real order
From MaRDI portal
Publication:404712
DOI10.1134/S0037446614030070zbMATH Open1314.03035OpenAlexW2066130212MaRDI QIDQ404712FDOQ404712
Authors: Andrei 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
Recommendations
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Logic on admissible sets (03C70)
Cites Work
- HF-computability
- Title not available (Why is that?)
- Model Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- On \(\Sigma\)-rigid presentations of the real order
- Title not available (Why is that?)
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- Some presentations of the real number field
Cited In (10)
- On \(\Sigma\)-rigid presentations of the real order
- On some representations of the real number field
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
- Some presentations of the real number field
- One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\))
- Computable model theory over the reals
- A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
- On mutual definability of operations on fields
- \(\Sigma\)-presentations of the ordering on the reals
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
This page was built for publication: On \(\Sigma\)-rigid presentations of the real order
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q404712)
