Decidability and undecidability theorems for PAC-fields

DOI10.1090/S0273-0979-1981-14872-2MaRDI QIDQ3918210zbMATH OpenOpenAlexFDO

Authors Gregory Cherlin, Lou van den Dries, Angus Macintyre

Publication date 1981

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0273-0979-1981-14872-2

zbMATH Keywords

decidabilitypac-fieldprofinite groupspseudo algebraically closed fields

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability and field theory (12L05) Rational points (14G05) Limits, profinite groups (20E18)

Cites work

• Rational points on algebraic varieties over large number fields
• Subgroups of free profinite groups and large subfields of Q
• The elementary theory of \(\omega\)-free \(Ax\) fields
• The elementary theory of algebraic fields of finite corank
• The elementary theory of finite fields

Cited in

(21)

• The undecidability of pseudo real closed fields
• Applied model theory and metamathematics. An Abraham Robinson memorial problem list
• The absolute Galois group of a pseudo real closed field with finitely many orders
• Embedding covers and the theory of Frobenius fields
• Model theory of finite fields and pseudo-finite fields
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
• On Galois groups and PAC substructures
• European Summer Meeting of the Association for Symbolic Logic
• Properties of forking in ω-free pseudo-algebraically closed fields
• Model theory of proalgebraic groups
• Amalgamation of types in pseudo-algebraically closed fields and applications
• On PAC and bounded substructures of a stable structure
• RRC-fields with small absolute Galois groups
• Elementary equivalence theorem for PAC structures
• THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS
• Co-theory of sorted profinite groups for PAC structures
• Measures on perfect \(e\)-free PAC fields
• On algebraically closed fields with a distinguished subfield
• Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields
• Beyond the Fontaine-Wintenberger theorem

This page was built for publication: Decidability and undecidability theorems for PAC-fields

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