Abstract: The study of classes of models of a finite diagram was initiated by S. Shelah in 1969. A diagram D is a set of types over the empty set, and the class of models of the diagram D consists of the models of T which omit all the types not in D. In this work, we introduce a natural dependence relation on the subsets of the models for the omega-stable case which share many of the formal properties of forking. This is achieved by considering a rank for this framework which is bounded when the diagram D is omega-stable. We can also obtain pregeometries with respect to this dependence relation. The dependence relation is the natural one induced by the rank, and the pregeometries exist on the set of realizations of types of minimal rank. Finally, these concepts are used to generalize many of the classical results for models of a totally transcendental first-order theory. In fact, strong analogies arise: models are determined by their pregeometries or their relationship with their pregeometries; however the proofs are different, as we do not have compactness. This is illustrated with positive results (categoricity) as well as negative results (construction of nonisomorphic models).
Recommendations
Cites work
- scientific article; zbMATH DE number 4037830 (Why is no real title available?)
- scientific article; zbMATH DE number 3559563 (Why is no real title available?)
- scientific article; zbMATH DE number 1036692 (Why is no real title available?)
- A combinatorial problem; stability and order for models and theories in infinitary languages
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- Abstract classes with few models have ‘homogeneous-universal’ models
- Categoricity in Power
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Categoricity of an abstract elementary class in two successive cardinals
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- Classification theory and the number of non-isomorphic models.
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Countable models of ω1-categorical theories in admissible languages
- Finite diagrams stable in power
- Indiscernible sequences in a model which fails to have the order property
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- On chains of relatively saturated submodels of a model without the order property
- On strongly minimal sets
- On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
- One hundred and two problems in mathematical logic
- Second-order quantifiers and the complexity of theories
- Shelah's stability spectrum and homogeneity spectrum in finite diagrams
- Strong splitting in stable homogeneous models
- The classification of excellent classes
- The primal framework. I
- The primal framework. II: Smoothness
Cited in
(11)- A rank for the class of elementary submodels of a superstable homogeneous model
- scientific article; zbMATH DE number 1069253 (Why is no real title available?)
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- Main gap for locally saturated elementary submodels of a homogeneous structure
- INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
- Forking in short and tame abstract elementary classes
- Rank functions for stable diagrams
- Uncountably categorical local tame abstract elementary classes with disjoint amalgamation
- Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
- Categoricity and U-rank in excellent classes
- Shelah's eventual categoricity conjecture in universal classes. I.
This page was built for publication: Ranks and pregeometries in finite diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1591202)
