scientific article; zbMATH DE number 3933024
zbMATH Open0583.03001MaRDI QIDQ3707983FDOQ3707983
Authors: Bruno Poizat
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (45)
- Guarded fixed point logics and the monadic theory of countable trees.
- o-minimal theories with an automorphism
- Groups definable in local fields and pseudo-finite fields
- Supergenerix.
- Title not available (Why is that?)
- Beyond first order model theory
- Note on the Cantor-Bendixson rank of limit groups
- A course in model theory
- Classification theory through stationary logic
- Philosophy and model theory
- Stable group theory and approximate subgroups
- On \(\omega \)-categorical groups and rings of finite burden
- Zilber's notion of logically perfect structure: universal covers
- Completeness in Zariski groups
- Elimination of constants from machines over algebraically closed fields
- Simple groups of finite Morley rank and Tits buildings
- Saturation and stability in the theory of computation over the reals
- Towards a finer classification of strongly minimal sets
- Title not available (Why is that?)
- Definable envelopes in groups having a simple theory
- Vapnik-Chervonenkis density in some theories without the independence property. I
- Ranks, spectra and their dynamics for families of constant expansions of theories
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- Une extension d'un théorème de P. Jullien sur les âges de mots
- Mathematical logic. On numbers, sets, structures, and symmetry
- Semisimple stable and superstable groups
- Boundedness and absoluteness of some dynamical invariants in model theory
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI
- Definable envelopes of nilpotent subgroups of groups with chain conditions on centralizers.
- 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
- Dimensions, matroids, and dense pairs of first-order structures
- Elementary classes of finite VC-dimension
- First-order logic and first-order functions
- The dynamical hierarchy for Roelcke precompact Polish groups
- Model theory of difference fields
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- Polish groups and Baire category methods
- Idéaux et types sur les corps séparablement clos
- On the automorphism groups of finite covers
- A list of arithmetical structures complete with respect to the first-order definability
- Stability theory, permutations of indiscernibles, and embedded finite models
- Closed asymptotic couples
- Title not available (Why is that?)
- The elementary theory of Dedekind cuts in polynomially bounded 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)