scientific article

Publication date: 28 March 2012

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

model theory stable theories simple theories first-order languages and structures

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Model theory (03Cxx)

Related Items

Infinite stable graphs with large chromatic number, Dp-minimal integral domains, On the complexity of finite subgraphs of the curve graph, Stable forking and imaginaries, BOOLEAN TYPES IN DEPENDENT THEORIES, Fraïssé structures with universal automorphism groups, Functoriality and uniformity in Hrushovski's groupoid-cover correspondence, Henselianity in the language of rings, Homogenizable structures and model completeness, Mutual algebraicity and cellularity, RAMSEY’S COHEIRS, The Borel cardinality of Lascar strong types, Existentially closed fields with finite group actions, Discrete subgroups of locally definable groups, Non-forking and preservation of NIP and dp-rank, On valuation independence and defectless extensions of valued fields, A model-theoretic study of right-angled buildings, EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS, On $\omega $-categorical groups and rings of finite burden, Interpretable fields in various valued fields, Generalized Picard-Vessiot extensions and differential Galois cohomology, Model theoretic properties of the Urysohn sphere, Universality vs genericity and $C_4$-free graphs, Number fields and divisible groups via model theory, Exact saturation in pseudo-elementary classes for simple and stable theories, Separation for isometric group actions and hyperimaginary independence, Groups definable in two orthogonal sorts, Incidence bounds in positive characteristic via valuations and distality, Generic expansion of an abelian variety by a subgroup, Hensel minimality II: Mixed characteristic and a diophantine application, Schanuel type conjectures and disjointness, Constructing quasiminimal structures, Algebraic numbers with elements of small height, Forcing a countable structure to belong to the ground model, Non-Archimedean integrals as limits of complex integrals, On differential Galois groups of strongly normal extensions, DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES, Eberlein oligomorphic groups, DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS, Definable V-topologies, Henselianity and NIP, Strongly transitive multiple trees., Tree indiscernibilities, revisited, A closure operator respecting the modular $j$-function, Second order arithmetic as the model companion of set theory, Model theory for $\mathsf{C}_{\mathsf{p}}$-theorists, A dependent theory with few indiscernibles, Maximal equivariant compactification of the Urysohn spaces and other metric structures, Imaginaries, invariant types and pseudo $p$-adically closed fields, Encoding complete metric structures by classical structures, Some Remarks on dp-Minimal Groups, Elementary classes of finite VC-dimension, Formulas and properties for families of theories of abelian groups, Model theoretic dynamics in Galois fashion, On the virtue of categoricity, The dynamical hierarchy for Roelcke precompact Polish groups, On non-forking spectra, Tropical spectrahedra, Interpretable groups in Mann pairs, Polish groups and Baire category methods, Model-theoretic Elekes–Szabó in the strongly minimal case, On some dynamical aspects of NIP theories, Model theory of finite and pseudofinite groups, On uniform definability of types over finite sets for NIP formulas, Generic expansions by a reduct, Solving equation systems in ω-categorical algebras, Invariant types in NIP theories, A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets, GROUPOIDS AND RELATIVE INTERNALITY, STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS, Building-like geometries of finite Morley rank, Existentially closed de Morgan algebras, A model-theoretic note on the Freiman-Ruzsa theorem, Maximal hyperbolic towers and weight in the theory of free groups, DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS, New simple groups with a BN-pair., Automorphism groups of finite topological rank, Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories, Corps différentiels et flots géodésiques I : Orthogonalité aux constantes pour les équations différentielles autonomes, DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS, AN AXIOMATIC APPROACH TO FREE AMALGAMATION, A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS, Topological dynamics of unordered Ramsey structures, AN EXPOSITION OF THE COMPACTNESS OF, Constraint Satisfaction Problems for Reducts of Homogeneous Graphs, Tame expansions of ${\omega}$-stable theories and definable groups, Onn-dependent groups and fields II, A note on pseudofinite groups of finite centraliser dimension, Distality for the asymptotic couple of the field of logarithmic transseries, Supersimple $\omega$-categorical theories and pregeometries, Model Theory in Algebra, Analysis and Arithmetic: A Preface, MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES, THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES, Hensel minimality I, Burden of Henselian valued fields in the Denef-Pas language, CLASSIFYING SPACES AND THE LASCAR GROUP, Topological fields with a generic derivation, Exact saturation in simple and NIP theories, ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY, MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS, Ranks, spectra and their dynamics for families of constant expansions of theories, Sets, groups, and fields definable in vector spaces with a bilinear form, NIP ω$\omega$‐categorical structures: The rank 1 case, Set Theory and Structures, Burden in Henselian valued fields, Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$, DISTALITY RANK, Stable formulas in ordered structures, Arboreal categories and equi-resource homomorphism preservation theorems, On piecewise hyperdefinable groups, Co-theory of sorted profinite groups for PAC structures, Set‐homogeneous hypergraphs, Pregeometry over locally o‐minimal structures and dimension, $\mathrm{SOP}_1$, $\mathrm{SOP}_2$, and antichain tree property, Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension, SATURATED MODELS FOR THE WORKING MODEL THEORIST, A definable $(p,q)$-theorem for NIP theories, Ramsey monoids