INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
From MaRDI portal
Abstract: This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is quasiminimal and q unbounded. Let P=p(C) and Q=q(C). Suppose that there exists an integer n<omega such that dim(a_1...a_n/A cup C)=n, for any independent a_1,..., a_n in P and finite subset C subseteq Q, but dim(a_1...a_n a_{n+1}/A cup C) <= n, for some independent a_1,...,a_n,a_{n+1} in P and some finite subset C subseteq Q. Then C interprets a group G which acts on the geometry P' obtained from P. Furthermore, either C interprets a non-classical group, or n=1,2,3 and * If n=1 then G is abelian and acts regularly on P'. * If n=2 the action of G on P' is isomorphic to the affine action of K times K^* on the algebraically closed field K. * If n = 3 the action of G on P' is isomorphic to the action of PGL_2(K) on the projective line {P}^1(K) of the algebraically closed field K .
Recommendations
Cites work
- scientific article; zbMATH DE number 1002918 (Why is no real title available?)
- A rank for the class of elementary submodels of a superstable homogeneous model
- Almost orthogonal regular types
- Categoricity and U-rank in excellent classes
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Finite diagrams stable in power
- Finitely generated submodels of an uncountably categorical homogeneous structure
- Finiteness of U‐rank implies simplicity in homogeneous structures
- Minimale Gruppen
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Ranks and pregeometries in finite diagrams
- Shelah's stability spectrum and homogeneity spectrum in finite diagrams
- Strong splitting in stable homogeneous models
- The classification of excellent classes
- Unidimensional theories are superstable
- \(L_{\infty \omega}\)-free algebras
Cited in
(17)- INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS
- О группах, несущих однородные ослабленные предгеометрии
- Locally modular geometries in homogeneous structures
- Groups and Fields Interpretable in Separably Closed Fields
- Quasiminimal structures, groups and Zariski-like geometries
- Canonical bases in excellent classes
- Interpreting groups and fields in simple, finitary AECs
- Constructing quasiminimal structures
- Categoricity and universal classes
- INTERPRETABLE GROUPS, STABLY EMBEDDED SETS, AND VAUGHTIAN PAIRS
- Groups with locally modular homogeneous pregeometries are commutative
- Finding a field in a Zariski-like structure
- Simplicity and uncountable categoricity in excellent classes
- Independence in finitary abstract elementary classes
- Fields interpretable in rosy theories
- Categoricity transfer in simple finitary abstract elementary classes
- On model theory of covers of algebraically closed fields
This page was built for publication: INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5694197)
