Classification theory and the number of non-isomorphic models.
From MaRDI portal
Publication:1188601
zbMath0713.03013MaRDI QIDQ1188601
Publication date: 17 September 1992
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
forkingprime modelscategoricitysaturated modelsultraproductsstability theoryclassification theoryMain Gaprank of types
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Ultraproducts and related constructions (03C20) Categoricity and completeness of theories (03C35) Model theory (03Cxx)
Related Items
Shelah's eventual categoricity conjecture in universal classes. I., Homology groups of types in stable theories and the Hurewicz correspondence, Saturated free algebras and almost indiscernible theories, IN MEMORIAM: MICHAEL MORLEY, 1930–2020, A characterisation of elementary fibrations, Between reduced powers and ultrapowers, II., Simple monadic theories and partition width, Cofinality spectrum theorems in model theory, set theory, and general topology, The generic pair conjecture for dependent finite diagrams, Induced and higher-dimensional stable independence, THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS, Banach spaces and groups -- order properties and universal models, The canonical topology on dp-minimal fields, Toward a stability theory of tame abstract elementary classes, Dependent first order theories, continued, Saturation and solvability in abstract elementary classes with amalgamation, Model theory: groups, geometries and combinatorics. Abstracts from the workshop held January 12--18, 2020, ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC, Orbits of subsets of the monster model and geometric theories, Historical and philosophical notices on the continuum, On Kim-independence, Jumps in speeds of hereditary properties in finite relational languages, Categorical equivalence and the Ramsey property for finite powers of a primal algebra, Stable groups and expansions of $(\mathbb Z,+,0)$, Constructing regular ultrafilters from a model-theoretic point of view, Elimination of quotients in various localisations of premodels into models, Mekler's construction and generalized stability, Number fields and divisible groups via model theory, On partial cubes, well-graded families and their duals with some applications in graphs, A note on the Erdős-Hajnal property for stable graphs, Homogeneous 1‐based structures and interpretability in random structures, On the reducibility of isomorphism relations, Constructing quasiminimal structures, A preservation theorem for theories without the tree property of the first kind, The Keisler order in continuous logic, No universal in singular, A brief history of Tarskian algebraic logic with new perspectives and innovations, Algebraic numbers with elements of small height, Remarks on the NIP in a model, Categoricity and universal classes, UNIVERSAL COVERS OF COMMUTATIVE FINITE MORLEY RANK GROUPS, MEASURING DEPENDENCE IN METRIC ABSTRACT ELEMENTARY CLASSES WITH PERTURBATIONS, EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES, Axiomatizing AECs and applications, Independence in finitary abstract elementary classes, Weakly minimal groups with a new predicate, On the Descriptive Power of Probability Logic, Tree indiscernibilities, revisited, Positive logics, Interpreting nowhere dense graph classes as a classical notion of model theory, Algebras of binary formulas for compositions of theories, On the number of independent orders, Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists, Local character of Kim-independence, Quite free complicated abelian groups, pcf and black boxes, Invariants related to the tree property, Elementary doctrines as coalgebras, Transitivity of Kim-independence, Superstability, Noetherian rings and pure-semisimple rings, A dividing line within simple unstable theories, Interpretation of graphs in noncommutative theories of Frechet powers, More on tree properties, An example of a new simple theory, RAMSEY GROWTH IN SOME NIP STRUCTURES, 𝑉𝐶_{ℓ}-dimension and the jump to the fastest speed of a hereditary ℒ-property, Keisler's order is not simple (and simple theories may not be either), On uniform definability of types over finite sets for NIP formulas, On a classification of theories without the independence property, Characterizations of monadic NIP, Indecomposability for differential algebraic groups, Categoricity in abstract elementary classes with no maximal models, Minimal stable types in Banach spaces, A poset hierarchy, The geometry of 1-based minimal types, Unnamed Item, Classifiable theories without finitary invariants, Binary simple homogeneous structures are supersimple with finite rank, The stable regularity lemma revisited, Three red herrings around Vaught’s conjecture, Vapnik-Chervonenkis density in some theories without the independence property, I, Reducts of Hrushovski's constructions of a higher geometrical arity, HENSELIAN VALUED FIELDS AND inp-MINIMALITY, Ordered asymptotic classes of finite structures, Simple monadic theories and indiscernibles, Independence in Model Theory, Model theory of 𝐶*-algebras, A group version of stable regularity, Pseudofinite difference fields, A NEW DP-MINIMAL EXPANSION OF THE INTEGERS, On \(n\)-dependence, Pseudofinite difference fields and counting dimensions, A descriptive Main Gap Theorem, Onn-dependent groups and fields II, Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), The categoricity spectrum of large abstract elementary classes, Quantitative structure of stable sets in arbitrary finite groups, STRONG STABILITY OF A NONLINEAR MULTI-STAGE DYNAMIC SYSTEM IN BATCH CULTURE OF GLYCEROL BIOCONVERSION TO 1,3-PROPANEDIOL, Burden of Henselian valued fields in the Denef-Pas language, Forking in finite models, Unnamed Item, Exact saturation in pseudo-elementary classes for simple and stable theories, On the antichain tree property, Invariant measures in simple and in small theories, The Keisler–Shelah isomorphism theorem and the continuum hypothesis, Atomic saturation of reduced powers, Omitting types algebraically and more about amalgamation for modal cylindric algebras, Ranks, spectra and their dynamics for families of constant expansions of theories, Between reduced powers and ultrapowers, Using ultrapowers to compare continuous structures, Some simple theories from a Boolean algebra point of view, NIP ω$\omega$‐categorical structures: The rank 1 case, Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023, Burden in Henselian valued fields, The profinite topology of free groups and weakly generic tuples of automorphisms, Weakly binary expansions of dense meet‐trees, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, The Hanf number in the strictly stable case, Nonstandard methods for finite structures, The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II, ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK, Approximate subgroups with bounded VC-dimension, Independence relations for exponential fields, TAMENESS AND FRAMES REVISITED, DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES, SATURATED MODELS FOR THE WORKING MODEL THEORIST, A definable \((p,q)\)-theorem for NIP theories, THE TURING DEGREES AND KEISLER’S ORDER, Hypergraph sequences as a tool for saturation of ultrapowers, NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES, On interpretability of almost linear orderings, Categoricity of an abstract elementary class in two successive cardinals, Symmetry and the union of saturated models in superstable abstract elementary classes, GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES, Groups and fields with $\operatorname {NTP}_{2}$, Externally definable sets and dependent pairs II, Type-amalgamation properties and polygroupoids in stable theories, Model Theory in Algebra, Analysis and Arithmetic: A Preface, Exact saturation in simple and NIP theories, Classes of structures and their generic limits, Canonical forking in AECs, Reduction of database independence to dividing in atomless Boolean algebras, Infinitary stability theory, Sweet \& sour and other flavours of ccc forcing notions, Superstable quasi-varieties, Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory, A partition theorem for a large dense linear order, Internality and interpretable automorphism groups in simple theories, Forking and JSJ decompositions in the free group, Building independence relations in abstract elementary classes, Beginning of stability theory for Polish spaces, Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\), Keisler's order has infinitely many classes, An unclassifiable unidimensional theory without OTOP, The spectrum of ultraproducts of finite cardinals for an ultrafilter, Simple theories, On variants of \(o\)-minimality, Vapnik-Chervonenkis density in some theories without the independence property. II, Hyperbolic towers and independent generic sets in the theory of free groups., Theories without the tree property of the second kind, Beyond abstract elementary classes: on the model theory of geometric lattices, Towards a characterization of universal categories, Invariant measures via inverse limits of finite structures, Lovely pairs of models, An essay on model theory, Existence of optimal ultrafilters and the fundamental complexity of simple theories, Edge distribution and density in the characteristic sequence, Structure and enumeration theorems for hereditary properties in finite relational languages, Stable domination and weight, On theories of random variables, Independence, order, and the interaction of ultrafilters and theories, Model companions of \(T_{\Aut}\) for stable \(T\), An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN, Classification theory through stationary logic, Isomorphic universality and the number of pairwise nonisomorphic models in the class of Banach spaces, On \(\vartriangleleft^{*}\)-maximality., A dependent theory with few indiscernibles, Strongly dependent theories, Valued difference fields and \(\mathrm{NTP}_2\), Forking independence from the categorical point of view, A new look at interpretability and saturation, Categorical Horn theories and modules, Dependent \(T\) and existence of limit models, On positive local combinatorial dividing-lines in model theory, Locally finite weakly minimal theories, Multi-dimensionality, Strong splitting in stable homogeneous models, Existence of certain finite relation algebras implies failure of omitting types for \(L_n\), The dynamical hierarchy for Roelcke precompact Polish groups, On non-forking spectra, More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\), Vive la différence. III, The universality spectrum of stable unsuperstable theories, Generalized amalgamation and \(n\)-simplicity, Vaught's conjecture for superstable theories of finite rank, On some dynamical aspects of NIP theories, Shelah's eventual categoricity conjecture in universal classes. II, Superstability from categoricity in abstract elementary classes, Neostability in countable homogeneous metric spaces, A generalized Borel-reducibility counterpart of Shelah's main gap theorem, Chains of saturated models in AECs, Forking in short and tame abstract elementary classes, Model theoretic connected components of groups, Polish algebras, shy from freedom., Model theoretic stability and categoricity for complete metric spaces, Game sentences and ultrapowers, Compression schemes, stable definable families, and o-minimal structures, Hypergraphs of prime models and distributions of countable models of small theories, Definable types over Banach spaces, On the existence of indiscernible trees, Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing, Asymptotic cones of finitely presented groups, Existentially closed exponential fields, The primitive normality of a class of weakly injective \(S\)-acts, Independence and simplicity in Jonsson theories with abstract geometry, Downward categoricity from a successor inside a good frame, Binary simple homogeneous structures, Criteria for exact saturation and singular compactness, Realization of \(\varphi \)-types and Keisler's order, A collapse result for constraint queries over structures of small degree, A note on trivial nonmultidimensional superstable theories, Vaught's conjecture for some meager groups, Relative categoricity in abelian groups. II, Categoricity in homogeneous complete metric spaces, \({\mathcal M}\)-gap conjecture and \(m\)-normal theories, The Craig interpolation theorem in abstract model theory, The relative commutant of separable C\(^*\)-algebras of real rank zero, Linear orders in NIP structures, The isomorphism relation of theories with S-DOP in the generalised Baire spaces, Stability in a group, A counter-example to the probabilistic universal graph conjecture via randomized communication complexity, Dividing lines in unstable theories and subclasses of Baire 1 functions, Extended order-generic queries, Strongly determined types, Ranks and pregeometries in finite diagrams, Hanf number of the first stability cardinal in AECs, Karp complexity and classes with the independence property, Vive la différence. II: The Ax-Kochen isomorphism theorem, Club guessing and the universal models
