On mutual definability of operations on fields
From MaRDI portal
Publication:2186309
DOI10.1134/S0037446619060119zbMath1468.03044OpenAlexW3007839288MaRDI QIDQ2186309
R. M. Korotkova, Andrey S. Morozov, Oleg V. Kudinov
Publication date: 9 June 2020
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0037446619060119
Interpolation, preservation, definability (03C40) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- 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
- The Undecidability of Algebraic Rings and Fields
- Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
- Definability and decision problems in arithmetic
