Realization of φ -types and Keisler’s order

Annals of Pure and Applied Logic 157 (2-3):220-224 (2009)
  Copy   BIBTEX

Abstract

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hypergraph sequences as a tool for saturation of ultrapowers.M. E. Malliaris - 2012 - Journal of Symbolic Logic 77 (1):195-223.
Is type identity incompatible with multiple realization?Michael Pauen - 2002 - Grazer Philosophische Studien 65 (1):37-49.
Thoughts on Sydney Shoemaker’s Physical Realization.Jaegwon Kim - 2010 - Philosophical Studies 148 (1):101 - 112.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
Theory Reduction by Means of Functional Sub‐types.Michael Esfeld & Christian Sachse - 2007 - International Studies in the Philosophy of Science 21 (1):1 – 17.
Some initial segments of the Rudin-Keisler ordering.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (1):147-157.
Realization and Physicalism.Robert Francescotti - 2010 - Philosophical Psychology 23 (5):601-616.
Multiple realization and evidence.Sungsu Kim - 2011 - Philosophical Psychology 24 (6):739 - 749.

Analytics

Added to PP
2013-12-22

Downloads
26 (#524,588)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
On ◁∗-maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
Ultraproducts which are not saturated.H. Jerome Keisler - 1967 - Journal of Symbolic Logic 32 (1):23-46.
Saturation of ultrapowers and Keisler's order.Saharon Shelah - 1972 - Annals of Mathematical Logic 4 (1):75.

Add more references