David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 42 (3):372-386 (1977)
Any two models of arithmetic can be jointly embedded in a third with any prescribed isomorphic submodels as intersection and any prescribed relative ordering of the skies above the intersection. Corollaries include some known and some new theorems about ultrafilters on the natural numbers, for example that every ultrafilter with the "4 to 3" weak Ramsey partition property is a P-point. We also give examples showing that ultrafilters with the "5 to 4" partition property need not be P-points and that the main theorem cannot be improved to allow a prescribed ordering of lower skies
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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.
Citations of this work BETA
Michael Canjar (1988). Countable Ultraproducts Without CH. Annals of Pure and Applied Logic 37 (1):1-79.
Andreas Blass (1988). Selective Ultrafilters and Homogeneity. Annals of Pure and Applied Logic 38 (3):215-255.
Similar books and articles
Michael Benedikt (1998). Ultrafilters Which Extend Measures. Journal of Symbolic Logic 63 (2):638-662.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
Claude Laflamme & Jian-Ping Zhu (1998). The Rudin-Blass Ordering of Ultrafilters. Journal of Symbolic Logic 63 (2):584-592.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Joram Hirshfeld (1988). Nonstandard Combinatorics. Studia Logica 47 (3):221 - 232.
Jeremy Avigad & Jeffrey Helzner (2002). Transfer Principles in Nonstandard Intuitionistic Arithmetic. Archive for Mathematical Logic 41 (6):581-602.
Chris Mortensen (1987). Inconsistent Nonstandard Arithmetic. Journal of Symbolic Logic 52 (2):512-518.
Andreas Blass (1972). The Intersection of Nonstandard Models of Arithmetic. Journal of Symbolic Logic 37 (1):103-106.
Andreas Blass (1974). On Certain Types and Models for Arithmetic. Journal of Symbolic Logic 39 (1):151-162.
Added to index2009-01-28
Total downloads5 ( #229,521 of 1,102,731 )
Recent downloads (6 months)3 ( #120,386 of 1,102,731 )
How can I increase my downloads?