Annals of Pure and Applied Logic 99 (1-3):197-230 (1999)

Abstract
The notion of a strongly determined type over A extending p is introduced, where p .S. A strongly determined extension of p over A assigns, for any model M )- A, a type q S extending p such that, if realises q, then any elementary partial map M → M which fixes acleq pointwise is elementary over . This gives a crude notion of independence which arises very frequently. Examples are provided of many different kinds of theories with strongly determined types, and some without. We investigate a notion of multiplicity for strongly determined types with applications to ‘involved’ finite simple groups, and an analogue of the Finite Equivalence Relation Theorem. Lifting of strongly determined types to covers of a structure is discussed, and an application to finite covers is given
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(99)00004-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
Through your library

References found in this work BETA

Simple Theories.Byunghan Kim & Anand Pillay - 1996 - Annals of Pure and Applied Logic 88 (2):149-164.
Ω-Categorical, Ω-Stable Structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
A Version of o-Minimality for the P-Adics.Deirdre Haskell & Dugald Macpherson - 1997 - Journal of Symbolic Logic 62 (4):1075-1092.
Cell Decompositions of C-Minimal Structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
An Introduction to Forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.

View all 23 references / Add more references

Citations of this work BETA

Automorphism Group Actions on Trees.Alexandre Ivanov & Roman Kossak - 2004 - Mathematical Logic Quarterly 50 (1):71.
An Ω-Categorical Structure with Amenable Automorphism Group.Aleksander Ivanov - 2015 - Mathematical Logic Quarterly 61 (4-5):307-314.
On Non-Abelian C-Minimal Groups.Patrick Simonetta - 2003 - Annals of Pure and Applied Logic 122 (1-3):263-287.

Add more citations

Similar books and articles

On Kueker's Conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
Types, Indicated and Initiated.Robert Howell - 2002 - British Journal of Aesthetics 42 (2):105-127.
Determinateness of Certain Almost-Borel Games.Robert S. Wolf - 1985 - Journal of Symbolic Logic 50 (3):569-579.
Regular Types in Nonmultidimensional Ω-Stable Theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
DMP in Strongly Minimal Sets.Assaf Hasson & Ehud Hrushovski - 2007 - Journal of Symbolic Logic 72 (3):1019 - 1030.

Analytics

Added to PP index
2014-01-16

Total views
11 ( #852,558 of 2,507,563 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,563 )

How can I increase my downloads?

Downloads

My notes