Annals of Pure and Applied Logic 171 (2):102736 (2020)

Authors
Abstract
In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of “generic stability” in arbitrary theories. Among other things, we show that the standard definition of generic stability for types coincides with the notion of a frequency interpretation measure. We also give combinatorial examples of types in NSOP theories that are finitely approximated but not generically stable, as well as ϕ-types in simple theories that are definable and finitely satisfiable in a small model, but not finitely approximated. Our proofs demonstrate interesting connections to classical results from Ramsey theory for finite graphs and hypergraphs.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2019.102736
Options
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: 50,308
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Note on Stability Spectrum of Generic Structures.Yuki Anbo & Koichiro Ikeda - 2010 - Mathematical Logic Quarterly 56 (3):257-261.
Ab Initio Generic Structures Which Are Superstable but Not Ω-Stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1-2):203-211.
Generic Stability and Stability.Hans Adler, Enrique Casanovas & Anand Pillay - 2014 - Journal of Symbolic Logic 79 (1):179-185.
Proof Normalization Modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
The Distribution of the Generic Recursively Enumerable Degrees.Ding Decheng - 1992 - Archive for Mathematical Logic 32 (2):113-135.
Group Configurations and Germs in Simple Theories.Itay Ben-Yaacov - 2002 - Journal of Symbolic Logic 67 (4):1581-1600.
Generic Structures and Simple Theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
The Stable Core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.
Generic Large Cardinals as Axioms.Monroe Eskew - 2020 - Review of Symbolic Logic 13 (2):375-387.
Stable and Retrievable Options.Wlodzimierz Rabinowicz - 1989 - Philosophy of Science 56 (4):624-641.

Analytics

Added to PP index
2019-09-07

Total views
11 ( #755,669 of 2,326,005 )

Recent downloads (6 months)
4 ( #218,888 of 2,326,005 )

How can I increase my downloads?

Downloads

My notes