Implicit definability of subfields
From MaRDI portal
Publication:558423
DOI10.1305/ndjfl/1091122499zbMath1066.03043MaRDI QIDQ558423
Publication date: 6 July 2005
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1091122499
03C60: Model-theoretic algebra
12F05: Algebraic field extensions
03C40: Interpolation, preservation, definability
12L12: Model theory of fields
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model theory
- Definability of initial segments
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- The Undecidability of Algebraic Rings and Fields
- THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS