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
- Publication:3028991
- 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
- 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?)
- 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
- 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
- \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
Cited in
(28)- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Simple stable homogeneous expansions of Hilbert spaces
- Local homogeneity
- Forking in short and tame abstract elementary classes
- scientific article; zbMATH DE number 3915997 (Why is no real title available?)
- scientific article; zbMATH DE number 1936721 (Why is no real title available?)
- Simple physical models entailing inequivalent representations of the CCR
- The Kim-Pillay theorem for abstract elementary categories
- Simple-like independence relations in abstract elementary classes
- Categoricity in homogeneous complete metric spaces
- Categoricity and U-rank in excellent classes
- Building independence relations in abstract elementary classes
- Independence relations for exponential fields
- An AEC framework for fields with commuting automorphisms
- Orbits of subsets of the monster model and geometric theories
- Four concepts from “geometrical” stability theory in modules
- On supersimplicity and lovely pairs of cats
- Abstract elementary classes stable in \(\aleph_{0}\)
- scientific article; zbMATH DE number 1827964 (Why is no real title available?)
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- Notes on Quasiminimality and Excellence
- Structures, homomorphisms, and the needs of model theory
- Simplicity and uncountable categoricity in excellent classes
- Strong splitting in stable homogeneous models
- Simple stable homogeneous groups
- Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
- The simplest 3-3-1 model
- Dividing in the algebra of compact operators
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)
