Implicit definability of subfields

DOI10.1305/NDJFL/1091122499MaRDI QIDQ558423zbMATH OpenOpenAlexFDO

Authors Kenji Fukuzaki, Akito Tsuboi

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

zbMATH Keywords

implicit definability

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model-theoretic algebra (03C60) Algebraic field extensions (12F05) Model theory of fields (12L12)

Recommendations

• Implicit definability in arithmetic
• Algebraicity and implicit definability in set theory
• Circumscription and implicit definability
• The definability of fields
• Definability in reducts of algebraically closed fields
• Universally and existentially definable subsets of global fields
• Subfields of ample fields. Rational maps and definability
• Bounds and definablity over fields.
• Definability in number fields
• Definable valuations induced by definable subgroups

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Definability of initial segments
• scientific article; zbMATH DE number 48229 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Model theory
• The Undecidability of Algebraic Rings and Fields
• THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

Cited in

(4)

• Definability of initial segments
• On \(\emptyset\)-definable elements in a field
• Implicit definability in arithmetic
• Algebraicity and implicit definability in set theory

This page was built for publication: Implicit definability of subfields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558423)