Canonical Finite Diagrams and Quantifier Elimination
From MaRDI portal
Publication:4787872
DOI<533::AID-MALQ533>3.0.CO;2-7 10.1002/1521-3870(200211)48:4<533::AID-MALQ533>3.0.CO;2-7zbMath1024.03033OpenAlexW1966303614MaRDI QIDQ4787872
Publication date: 3 April 2003
Full work available at URL: https://doi.org/10.1002/1521-3870(200211)48:4<533::aid-malq533>3.0.co;2-7
Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
Expansions of geometries ⋮ CM-triviality and relational structures ⋮ Types in abstract elementary classes ⋮ INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS ⋮ Notes on Quasiminimality and Excellence
This page was built for publication: Canonical Finite Diagrams and Quantifier Elimination
