scientific article

zbMath0583.03001MaRDI QIDQ3707983

Bruno Poizat

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compactnessBoolean algebrasforkingprime modelssaturated modelsultraproductsultrametric spacesdeviationfirst-order languagesaturated structuresalgebraically and differentially closed fieldsexistentially closed modulesfundamental order of typeslocal isomorphisms between structuresLöwenheim-Skolem-Tarski theoremsElementary extensions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Basic properties of first-order languages and structures (03C07)

Related Items (37)

Note on the Cantor–Bendixson Rank of Limit Groups ⋮ Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle ⋮ Elimination of constants from machines over algebraically closed fields ⋮ Definable envelopes in groups having a simple theory ⋮ Une extension d'un théorème de P. Jullien sur les âges de mots ⋮ On \(\omega \)-categorical groups and rings of finite burden ⋮ Supergenerix. ⋮ Ranks, spectra and their dynamics for families of constant expansions of theories ⋮ Towards a finer classification of strongly minimal sets ⋮ Dimensions, matroids, and dense pairs of first-order structures ⋮ Classification theory through stationary logic ⋮ Closed asymptotic couples ⋮ Unnamed Item ⋮ Elementary classes of finite VC-dimension ⋮ First-order logic and first-order functions ⋮ Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers ⋮ The dynamical hierarchy for Roelcke precompact Polish groups ⋮ Polish groups and Baire category methods ⋮ On the automorphism groups of finite covers ⋮ Idéaux et types sur les corps séparablement clos ⋮ The elementary theory of Dedekind cuts in polynomially bounded structures ⋮ A \(\kappa\)-denotational semantics for map theory in ZFC+SI ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Back-and-forth systems for generic curves and a decision algorithm for the limit theory ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Some model-theoretic results in the algebraic theory of quadratic forms ⋮ Boundedness and absoluteness of some dynamical invariants in model theory ⋮ Semisimple stable and superstable groups ⋮ Simple groups of finite Morley rank and Tits buildings ⋮ Completeness in Zariski groups ⋮ Stable group theory and approximate subgroups ⋮ Saturation and stability in the theory of computation over the reals ⋮ Guarded fixed point logics and the monadic theory of countable trees. ⋮ o-minimal theories with an automorphism ⋮ Stability theory, permutations of indiscernibles, and embedded finite models ⋮ Groups definable in local fields and pseudo-finite fields ⋮ Model theory of difference fields

This page was built for publication: