scientific article; zbMATH DE number 3933024
algebraically and differentially closed fieldsBoolean algebrascompactnessdeviationElementary extensionsexistentially closed modulesfirst-order languageforkingfundamental order of typeslocal isomorphisms between structuresLöwenheim-Skolem-Tarski theoremsprime modelssaturated modelssaturated structuresultrametric spacesultraproducts
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) Basic properties of first-order languages and structures (03C07) Classification theory, stability, and related concepts in model theory (03C45)
- Simple groups of finite Morley rank and Tits buildings
- Completeness in Zariski groups
- Saturation and stability in the theory of computation over the reals
- Groups definable in local fields and pseudo-finite fields
- Elimination of constants from machines over algebraically closed fields
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- Mathematical logic. On numbers, sets, structures, and symmetry
- Guarded fixed point logics and the monadic theory of countable trees.
- o-minimal theories with an automorphism
- Classification theory through stationary logic
- Closed asymptotic couples
- On \(\omega \)-categorical groups and rings of finite burden
- Definable envelopes in groups having a simple theory
- The elementary theory of Dedekind cuts in polynomially bounded structures
- Vapnik-Chervonenkis density in some theories without the independence property. I
- A course in model theory
- Stable group theory and approximate subgroups
- 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
- Idéaux et types sur les corps séparablement clos
- Supergenerix.
- Une extension d'un théorème de P. Jullien sur les âges de mots
- Model theory of difference fields
- Stability theory, permutations of indiscernibles, and embedded finite models
- scientific article; zbMATH DE number 1522509 (Why is no real title available?)
- Philosophy and model theory
- scientific article; zbMATH DE number 3993528 (Why is no real title available?)
- scientific article; zbMATH DE number 3997750 (Why is no real title available?)
- Elementary classes of finite VC-dimension
- Boundedness and absoluteness of some dynamical invariants in model theory
- First-order logic and first-order functions
- The dynamical hierarchy for Roelcke precompact Polish groups
- Polish groups and Baire category methods
- Beyond first order model theory
- Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers.
- A -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
- Some model-theoretic results in the algebraic theory of quadratic forms
- 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
- Zilber's notion of logically perfect structure: universal covers
- On the automorphism groups of finite covers
- On triggers of order
- Semisimple stable and superstable groups
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)
