Near coherence of filters. I. Cofinal equivalence of models of arithmetic
Notre Dame Journal of Formal Logic 27 (4):579-591 (1986)
Abstract
This article has no associated abstract. (fix it)DOI
10.1305/ndjfl/1093636772
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
Cofinal families of Borel equivalence relations and quasiorders.Christian Rosendal - 2005 - Journal of Symbolic Logic 70 (4):1325-1340.
Cofinal extensions of nonstandard models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144.
On cofinal extensions of models of fragments of arithmetic.Richard Kaye - 1991 - Notre Dame Journal of Formal Logic 32 (3):399-408.
Near coherence of filters. III. A simplified consistency proof.Andreas Blass & Saharon Shelah - 1989 - Notre Dame Journal of Formal Logic 30 (4):530-538.
Infinitary combinatorics and modal logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Formal models of coherence and legal epistemology.Amalia Amaya - 2007 - Artificial Intelligence and Law 15 (4):429-447.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
The complexity of classification problems for models of arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Analytics
Added to PP
2010-08-24
Downloads
14 (#733,349)
6 months
1 (#451,971)
2010-08-24
Downloads
14 (#733,349)
6 months
1 (#451,971)
Historical graph of downloads
Citations of this work
Mathias forcing and combinatorial covering properties of filters.David Chodounský, Dušan Repovš & Lyubomyr Zdomskyy - 2015 - Journal of Symbolic Logic 80 (4):1398-1410.
Special ultrafilters and cofinal subsets of $$({}^omega omega, <^*)$$.Peter Nyikos - 2020 - Archive for Mathematical Logic 59 (7-8):1009-1026.
Towers in filters, cardinal invariants, and luzin type families.Jörg Brendle, Barnabás Farkas & Jonathan Verner - 2018 - Journal of Symbolic Logic 83 (3):1013-1062.
Groupwise density and related cardinals.Andreas Blass - 1990 - Archive for Mathematical Logic 30 (1):1-11.
On the cofinality of ultrapowers.Andreas Blass & Heike Mildenberger - 1999 - Journal of Symbolic Logic 64 (2):727-736.
