scientific article; zbMATH DE number 3933024
compactnessultraproductsforkingBoolean algebrasultrametric spacesdeviationprime modelssaturated modelsfirst-order languagesaturated structuresalgebraically and differentially closed fieldsexistentially closed modulesfundamental order of typeslocal isomorphisms between structuresElementary extensionsLöwenheim-Skolem-Tarski theorems
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) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
- Stable group theory and approximate subgroups
- Note on the Cantor-Bendixson rank of limit groups
- Simple groups of finite Morley rank and Tits buildings
- Elementary classes of finite VC-dimension
- Beyond first order model theory
- Definable envelopes in groups having a simple theory
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- On \(\omega \)-categorical groups and rings of finite burden
- Ranks, spectra and their dynamics for families of constant expansions of theories
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI
- scientific article; zbMATH DE number 1522509 (Why is no real title available?)
- Saturation and stability in the theory of computation over the reals
- Semisimple stable and superstable groups
- Some model-theoretic results in the algebraic theory of quadratic forms
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Supergenerix.
- Elimination of constants from machines over algebraically closed fields
- The elementary theory of Dedekind cuts in polynomially bounded structures
- A list of arithmetical structures complete with respect to the first-order definability
- Guarded fixed point logics and the monadic theory of countable trees.
- Towards a finer classification of strongly minimal sets
- o-minimal theories with an automorphism
- Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers.
- Idéaux et types sur les corps séparablement clos
- Boundedness and absoluteness of some dynamical invariants in model theory
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- Stability theory, permutations of indiscernibles, and embedded finite models
- Philosophy and model theory
- Zilber's notion of logically perfect structure: universal covers
- A course in model theory
- Model theory of difference fields
- Closed asymptotic couples
- On the automorphism groups of finite covers
- Classification theory through stationary logic
- Une extension d'un théorème de P. Jullien sur les âges de mots
- First-order logic and first-order functions
- The dynamical hierarchy for Roelcke precompact Polish groups
- Polish groups and Baire category methods
- Groups definable in local fields and pseudo-finite fields
- scientific article; zbMATH DE number 3997750 (Why is no real title available?)
- scientific article; zbMATH DE number 3993528 (Why is no real title available?)
- Back-and-forth systems for generic curves and a decision algorithm for the limit theory
- Mathematical logic. On numbers, sets, structures, and symmetry
- Completeness in Zariski groups
- Dimensions, matroids, and dense pairs of first-order structures
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707983)
