Graduate studies at Western
Journal of Symbolic Logic 63 (3):788-796 (1998)
|Abstract||We continue the study of simple theories begun in  and . 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)|
|Through your library||Configure|
Similar books and articles
Ziv Shami (2000). Definability in Low Simple Theories. Journal of Symbolic Logic 65 (4):1481-1490.
Ziv Shami (2004). Coordinatisation by Binding Groups and Unidimensionality in Simple Theories. Journal of Symbolic Logic 69 (4):1221 - 1242.
Bradd Hart & Ziv Shami (2005). On the Type-Definability of the Binding Group in Simple Theories. Journal of Symbolic Logic 70 (2):379 - 388.
David Lippel (2005). Finitely Axiomatizable Ω-Categorical Theories and the Mazoyer Hypothesis. Journal of Symbolic Logic 70 (2):460 - 472.
George Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
Anand Pillay (1994). Definability of Types, and Pairs of o-Minimal Structures. Journal of Symbolic Logic 59 (4):1400-1409.
Kentaro Fujimoto (2010). Relative Truth Definability of Axiomatic Truth Theories. Bulletin of Symbolic Logic 16 (3):305-344.
Anand Pillay (2003). On Countable Simple Unidimensional Theories. Journal of Symbolic Logic 68 (4):1377-1384.
Ítala M. L. D'Ottaviano (1987). Definability and Quantifier Elimination for J3-Theories. Studia Logica 46 (1):37 - 54.
S. P. Tung (1987). Definability in Number Fields. Journal of Symbolic Logic 52 (1):152-155.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,878 of 740,510 )
Recent downloads (6 months)0
How can I increase my downloads?