Journal of Symbolic Logic 63 (3):788-796 (1998)

Abstract
We continue the study of simple theories begun in [3] and [5]. We first find the right analogue of definability of types. We then develop the theory of generic types and stabilizers for groups definable in simple theories. The general ideology is that the role of formulas (or definability) in stable theories is replaced by partial types (or ∞-definability) in simple theories
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586712
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: 65,587
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.
Simple Unstable Theories.Saharon Shelah - 1980 - Annals of Mathematical Logic 19 (3):177.

Add more references

Citations of this work BETA

Simplicity in Compact Abstract Theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.
Pseudofinite Structures and Simplicity.Darío García, Dugald Macpherson & Charles Steinhorn - 2015 - Journal of Mathematical Logic 15 (1):1550002.
From Stability to Simplicity.Byunghan Kim & Anand Pillay - 1998 - Bulletin of Symbolic Logic 4 (1):17-36.
Hyperdefinable Groups in Simple Theories.Frank Wagner - 2001 - Journal of Mathematical Logic 1 (01):125-172.
Constructing an Almost Hyperdefinable Group.Itay Ben-Yaacov, Ivan Tomašić & Frank O. Wagner - 2004 - Journal of Mathematical Logic 4 (02):181-212.

View all 6 citations / Add more citations

Similar books and articles

Definability in Low Simple Theories.Ziv Shami - 2000 - Journal of Symbolic Logic 65 (4):1481-1490.
On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.
A Note on Definability in Equational Logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Definability of Types, and Pairs of o-Minimal Structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
On Countable Simple Unidimensional Theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.
Definability in Number Fields.S. P. Tung - 1987 - Journal of Symbolic Logic 52 (1):152-155.

Analytics

Added to PP index
2009-01-28

Total views
13 ( #752,993 of 2,461,927 )

Recent downloads (6 months)
1 ( #448,599 of 2,461,927 )

How can I increase my downloads?

Downloads

My notes