Journal of Symbolic Logic 42 (3):372-386 (1977)
|Abstract||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)|
|Through your library||Configure|
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 downloads2 ( #245,904 of 722,783 )
Recent downloads (6 months)1 ( #60,541 of 722,783 )
How can I increase my downloads?