$\aleph _ 0$-categorical, $\aleph _ 0$-stable structures

DOI10.1016/0168-0072(85)90023-5zbMath0566.03022OpenAlexW1965045995MaRDI QIDQ1059068

Alistair H. Lachlan, Gregory L. Cherlin, Leo Harrington

Publication date: 1985

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(85)90023-5

zbMATH Keywords

finite axiomatizability

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)

Related Items (89)

Simple homogeneous models ⋮ Classifications of finite highly transitive dimensional linear spaces ⋮ IN MEMORIAM: MICHAEL MORLEY, 1930–2020 ⋮ Infinitary stability theory ⋮ On countable stable structures which are homogeneous for a finite relational language ⋮ Stable structures homogeneous for a finite binary language ⋮ Forking, normalization and canonical bases ⋮ A note on generic projective planes ⋮ Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) ⋮ Superstable groups of finite rank without pseudoplanes ⋮ The finite submodel property and $\omega$-categorical expansions of pregeometries ⋮ Classifying the finite simple groups ⋮ Jordan permutation groups and limits of $D$-relations ⋮ The structure of amorphous sets ⋮ Trivial pursuit: remarks on the main gap ⋮ Interpreting groups in ω-categorical structures ⋮ Some trivial considerations ⋮ Categoricity and generalized model completeness ⋮ Dalle teorie $p$-$\aleph _ 0$-categoriche a quelle $\aleph _ 0$- categoriche: un passo intermedio. (From $p$-$\aleph _ 0$-categorical to $\aleph _ 0$-categorical theories: an intermediate stage) ⋮ Cayley graphs having nice enumerations ⋮ Uncountable categoricity for gross models ⋮ On first-order sentences without finite models ⋮ Small profinite groups and rings ⋮ Structures coordinatized by indiscernible sets ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Stable generic structures ⋮ Stable theories, pseudoplanes and the number of countable models ⋮ Vapnik-Chervonenkis density in some theories without the independence property. II ⋮ On pseudo-finite dimensions ⋮ On sets with rank one in simple homogeneous structures ⋮ Reducts of random hypergraphs ⋮ Weight ω in stable theories with few types ⋮ NIP ω$\omega$‐categorical structures: The rank 1 case ⋮ Attention à la marche! ⋮ Special groups whose isometry relation is a finite union of cosets ⋮ Homogeneous 1‐based structures and interpretability in random structures ⋮ Kinds of pregeometries of acyclic theories ⋮ Approximate isomorphism of randomization pairs ⋮ A dichotomy theorem for regular types ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ Pseudofinite formulae ⋮ Locally finite weakly minimal theories ⋮ Unnamed Item ⋮ The age of a relational structure ⋮ Interpolative fusions ⋮ Vaught's conjecture for superstable theories of finite rank ⋮ Model Theory: Geometrical and Set-Theoretic Aspects and Prospects ⋮ On the automorphism groups of finite covers ⋮ A new strongly minimal set ⋮ Coordinatization in Superstable Theories. I. Stationary Types ⋮ From Stability to Simplicity ⋮ What's so special about $(\mathbb{Z}/4\mathbb{Z})^ \omega$? ⋮ One-dimensional asymptotic classes of finite structures ⋮ Finitely axiomatizable strongly minimal groups ⋮ A survey of homogeneous structures ⋮ The geometry of 1-based minimal types ⋮ Locally modular theories of finite rank ⋮ Some model-theoretic results in the algebraic theory of quadratic forms ⋮ Ordre fondamental d'une théorie 1-basée ⋮ Permutation groups with small orbit growth ⋮ Upper bounds for growth in the Ryll-Nardzewski function of an $\omega{}$- categorical, $\omega{}$-stable theory ⋮ Independence and the finite submodel property ⋮ Modular types in some supersimple theories ⋮ Stable Finitely Homogeneous Structures ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Fusion over sublanguages ⋮ European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 ⋮ Coordinatization in Superstable Theories. II ⋮ The first-order structure of weakly Dedekind-finite set ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Finite satisfiability and ℵ₀-categorical structures with trivial dependence ⋮ Approximations of theories ⋮ Supersimple $\omega$-categorical theories and pregeometries ⋮ Constraint Satisfaction Problems with Infinite Templates ⋮ The number of uncountable models of $\omega$-stable theories ⋮ Upward Morley's theorem downward ⋮ Strongly determined types ⋮ Kinds of pregeometries of cubic theories ⋮ MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES ⋮ Totally Categorical Structures ⋮ Generic pairs of SU-rank 1 structures ⋮ Supersimple ω-categorical groups and theories ⋮ Bounds in the theory of finite covers ⋮ First-order theories of abstract dependence relations ⋮ Invariants for $\omega$-categorical, $\omega$-stable theories ⋮ Fundamentals of forking ⋮ ℵ₀-categorical structures with arbitrarily fast growth of algebraic closure ⋮ Quasi finitely axiomatizable totally categorical theories

Cites Work

This page was built for publication: $\aleph _ 0$-categorical, $\aleph _ 0$-stable structures

\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures