The elementary theory of \(e\)-free PAC domains

DOI10.1016/S0168-0072(99)00023-8zbMath0980.03009MaRDI QIDQ1977485

Aharon Razon

Publication date: 27 February 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Galois groupdecidabilityalgebraic integersHaar measurealgebraic numberspseudo algebraically closed domains

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Model theory of fields (12L12) Ultraproducts and field theory (12L10)

Related Items

STRONG APPROXIMATION THEOREM FOR ABSOLUTELY IRREDUCIBLE VARIETIES OVER THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF A GLOBAL FIELD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete theories
• On ideal theory in high Prüfer domains
• Pseudo algebraically closed fields over rings
• Existentially closed domains with radical relations.
• Elimination theory for the ring of algebraic integers.
• Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings