Simple homogeneous models
From MaRDI portal
Abstract: Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory. The work is carried out in a universal domain of the theory (a saturated model) in which the Stone space topology on ultrafilters of definable relations is compact. Here we operate in the more general setting of homogeneous models, which typically have noncompact Stone topologies. In this paper strongly lambda-homogeneous models (M,R) in which the elements of R induce a symmetric and transitive notion of independence with bounded character are studied. This notion of independence, defined using a combinatorial condition called ``dividing, agrees with forking independence when (M,R) is saturated. The concept central to the development of geometrical stability theory for saturated structures, namely the canonical base, is also shown to exist in this setting.
Recommendations
- Homogeneous models for unidimensional theories
- scientific article; zbMATH DE number 4016877
- Extensions of homogeneous models
- Bounding homogenous models
- Homogeneous models of stable theories
- scientific article; zbMATH DE number 1936721
- Homogeneous models and generic extensions
- Homogeneous models and generic extensions
- Exceptionally simple exceptional models
- scientific article; zbMATH DE number 4127183
Cites work
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
- A rank for the class of elementary submodels of a superstable homogeneous model
- Coordinatisation and canonical bases in simple theories
- Differential Galois theory. I
- Differential Galois theory. II
- Differential Galois theory. III: Some inverse problems
- Discouraging results for ultraimaginary independence theory
- Finite diagrams stable in power
- Forking in Simple Unstable Theories
- Forking in the category of existentially closed structures
- Geometrical model theory
- scientific article; zbMATH DE number 3559563 (Why is no real title available?)
- scientific article; zbMATH DE number 1284412 (Why is no real title available?)
- scientific article; zbMATH DE number 914513 (Why is no real title available?)
- scientific article; zbMATH DE number 272725 (Why is no real title available?)
- scientific article; zbMATH DE number 3222151 (Why is no real title available?)
- Hyperdefinable groups in simple theories
- Model theory
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Model theory of difference fields
- On the category of models of a complete theory
- Shelah's stability spectrum and homogeneity spectrum in finite diagrams
- Simple stable homogeneous expansions of Hilbert spaces
- Simple unstable theories
- Strong splitting in stable homogeneous models
- Supersimple theories
- Zariski geometries
Cited in
(30)- Categoricity in homogeneous complete metric spaces
- Simple stable homogeneous expansions of Hilbert spaces
- Homogeneous models for unidimensional theories
- Strong splitting in stable homogeneous models
- Simple-like independence relations in abstract elementary classes
- Simplicity and uncountable categoricity in excellent classes
- Orbits of subsets of the monster model and geometric theories
- Abstract elementary classes stable in \(\aleph_{0}\)
- The simplest 3-3-1 model
- Building independence relations in abstract elementary classes
- On supersimplicity and lovely pairs of cats
- scientific article; zbMATH DE number 3915997 (Why is no real title available?)
- Simple physical models entailing inequivalent representations of the CCR
- Four concepts from “geometrical” stability theory in modules
- scientific article; zbMATH DE number 1936721 (Why is no real title available?)
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Simple stable homogeneous groups
- Categoricity and U-rank in excellent classes
- Notes on Quasiminimality and Excellence
- scientific article; zbMATH DE number 1827964 (Why is no real title available?)
- Simple Pairs of Equivalence Relations
- Forking in short and tame abstract elementary classes
- Dividing in the algebra of compact operators
- Local homogeneity
- Structures, homomorphisms, and the needs of model theory
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- The Kim-Pillay theorem for abstract elementary categories
- An AEC framework for fields with commuting automorphisms
- Independence relations for exponential fields
- Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
This page was built for publication: Simple homogeneous models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4780398)
