Ranks and pregeometries in finite diagrams

DOI10.1016/S0168-0072(99)00045-7zbMATH Open0969.03048arXivmath/9704206MaRDI QIDQ1591202FDOQ1591202

Authors: Olivier Lessmann 

Publication date: 3 October 2001

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

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).

Full work available at URL: https://arxiv.org/abs/math/9704206

Recommendations

• Rank functions for stable diagrams
• Morley rank in homogeneous models
• scientific article; zbMATH DE number 4099270
• Forking types and rank functions in stable theories
• A rank for the class of elementary submodels of a superstable homogeneous model

zbMATH Keywords

rankclassification theoryforkingcategoricityhomogeneous modeltwo-cardinal theoremregular typeprime modelsdependence relationpregeometriesgeneral diagramsstationary typetotally transcendental diagrams

Mathematics Subject Classification ID

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

Cites Work

• A combinatorial problem; stability and order for models and theories in infinitary languages
• 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}\)
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Shelah's stability spectrum and homogeneity spectrum in finite diagrams
• Indiscernible sequences in a model which fails to have the order property
• On chains of relatively saturated submodels of a model without the order property
• On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
• Title not available (Why is that?)
• One hundred and two problems in mathematical logic
• Finite diagrams stable in power
• On strongly minimal sets
• Categoricity of an abstract elementary class in two successive cardinals
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Strong splitting in stable homogeneous models
• Categoricity in Power
• Second-order quantifiers and the complexity of theories
• The classification of excellent classes
• The primal framework. II: Smoothness
• The primal framework. I
• Countable models of ω1-categorical theories in admissible languages
• Abstract classes with few models have ‘homogeneous-universal’ models

Cited In (11)

• A rank for the class of elementary submodels of a superstable homogeneous model
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• Title not available (Why is that?)
• INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
• Main gap for locally saturated elementary submodels of a homogeneous structure
• 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)