Existentially closed fields with holomorphy rings

DOI10.1007/S001530050058MaRDI QIDQ1354320zbMATH OpenOpenAlexFDO

Authors Joachim Schmid

Publication date 5 November 1997

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050058

zbMATH Keywords

\(p\)-adic holomorphyexistence of a model companionexistentially closed modelformally \(p\)-adic fieldsformally real fieldsintegrally closed subringlocal-global transfer principlereal holomorphy ringtheory of fields with a predicate for a subring

Mathematics Subject Classification ID

Properties of classes of models (03C52) Model-theoretic algebra (03C60) Model theory of fields (12L12)

Review text

The paper studies the existence of a model companion for a theory of fields with a predicate for a subring. Precisely it is shown that the theory of fields together with an integrally closed subring, the theory of formally real fields with a real holomorphy ring and the theory of formally \(p\)-adic fields with a \(p\)-adic holomorphy have no model companions in the language of fields augmented by a unary predicate for the corresponding ring. Key facts are that any existentially closed model of each of these theories is not a field and a kind of local-global transfer principle for existentially closed models of these theories.

Recommendations

• Existentially closed exponential fields
• Existentially closed fields with G-derivations
• Existentially closed ordered difference fields and rings
• Holomorphy rings of function fields
• On Exponentially Closed Fields
• Existentially closed fields with finite group actions
• Exponentially closed fields and the conjecture on intersections with tori
• scientific article; zbMATH DE number 1209543
• Pseudo algebraically closed fields over rings
• scientific article; zbMATH DE number 3884273

Cited in

(2)

• Existentially closed domains with radical relations.
• Theories of rings with divisibility

This page was built for publication: Existentially closed fields with holomorphy rings

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