Idéaux et types sur les corps séparablement clos
From MaRDI portal
Publication:3834037
DOI10.24033/msmf.334zbMath0678.03016OpenAlexW135385159MaRDI QIDQ3834037
Publication date: 1988
Published in: Mémoires de la Société mathématique de France (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=MSMF_1988_2_33__1_0
forkingfinite cover propertyelimination of imaginariesdimensional order propertyrank of typesgeneric typeideals of polynomial rings in infinitely many variablesseprably closed fields
Model-theoretic algebra (03C60) Separable extensions, Galois theory (12F10) Classification theory, stability, and related concepts in model theory (03C45) Model theory of fields (12L12)
Related Items
Model theory of endomorphisms of separably closed fields ⋮ The Mordell-Lang conjecture for function fields ⋮ EQUATIONAL THEORIES OF FIELDS ⋮ Generic expansions by a reduct ⋮ Groups definable in separably closed fields ⋮ Groups and Fields Interpretable in Separably Closed Fields ⋮ Subgroups of the additive group of a separably closed field ⋮ Profinite structures interpretable in fields ⋮ A simple criterion ⋮ A trichotomy of countable, stable, unsuperstable theories ⋮ Amalgamation of types in pseudo-algebraically closed fields and applications ⋮ Generic structures and simple theories ⋮ Éz fields
Cites Work
- The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
- Dimensional order property and pairs of models
- Classification theory and the number of non-isomorphic models
- Complete theories of algebraically closed fields with distinguished subfields
- Paires de structures stables
- Groupes stables, avec types génériques réguliers
- Une théorie de Galois imaginaire
- The independence relation in separably closed fields
- Notes on the stability of separably closed fields
- Ordre de Rudin‐Keisler et Poids Dans les Theories Stables
- Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
- Solution of a problem of Tarski
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item