The elementary theory of algebraic fields of finite corank

DOI10.1007/BF01425568zbMath0315.12107MaRDI QIDQ1220977

Ursel Kiehne, Moshe Jarden

Publication date: 1975

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/142351

Mathematics Subject Classification ID

Decidability and field theory (12L05) Algebraic number theory: global fields (11R99) Ultraproducts and field theory (12L10)

Related Items

The elementary theory of free pseudo p-adically closed fields of finite corank, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, Model theory of finite fields and pseudo-finite fields, THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS, Transfer principles for pseudo real closed e-fold ordered fields, Co-theory of sorted profinite groups for PAC structures, THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS, Subgroups of free profinite groups and large subfields of Q, Combinatorial group theory for pro-p groups, Lifting of generating subgroups, On torsion of abelian varieties over large algebraic extensions of finitely generated fields, The elementary theory of \(\omega\)-free \(Ax\) fields, Decidable theories of pseudo-\(p\)-adic closed fields, DECIDABLE ALGEBRAIC FIELDS, Galois stratification over Frobenius fields, Decidability and undecidability theorems for PAC-fields, Quantifier elimination on some pseudo-algebraically closed valued fields, The elementary theory of large e-fold ordered fields, On the model companion of the theory of e-fold ordered fields, ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES, The undecidability of pseudo real closed fields, Relative regular closedness and \(\pi\)-valuations, Model-complete theories of e-free Ax fields, Decidable regularly closed fields of algebraic numbers, Undecidability of some elementary theories over PAC fields, Properties of forking in ω-free pseudo-algebraically closed fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic extensions of finite corank of Hilbertian fields
• The elementary theory of finite fields
• Solving diophantine problems modulo every prime
• Zu einem von B. H. und H. Neumann gestellten Problem
• Elementary Statements Over Large Algebraic Fields
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds