On PAC and Bounded Substructures of a Stable Structure

Journal of Symbolic Logic 71 (2):460 - 472 (2006)

We introduce and study the notions of a PAC-substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a "descent theorem" for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants of pseudo-algebraically closed fields from [6] are also valid for pseudo-differentially closed fields
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1146620152
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,328
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.
Generic Structures and Simple Theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
Model Companions of $T_{\Rm Aut}$ for Stable T.John T. Baldwin & Saharon Shelah - 2001 - Notre Dame Journal of Formal Logic 42 (3):129-142.
The Definable Multiplicity Property and Generic Automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Stabilité Polynômiale Des Corps Différentiels.Natacha Portier - 1999 - Journal of Symbolic Logic 64 (2):803-816.
Stable Structures with Few Substructures.Michael C. Laskowski & Laura L. Mayer - 1996 - Journal of Symbolic Logic 61 (3):985-1005.
Subgroups of Stable Groups.Frank Wagner - 1990 - Journal of Symbolic Logic 55 (1):151-156.
Sur la Théorie Élémentaire Des Corps de Fonctions.Jean-Louis Duret - 1986 - Journal of Symbolic Logic 51 (4):948-956.
T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.


Added to PP index

Total views
34 ( #262,616 of 2,280,316 )

Recent downloads (6 months)
5 ( #239,111 of 2,280,316 )

How can I increase my downloads?


My notes

Sign in to use this feature