Near coherence of filters. III. A simplified consistency proof

&
Notre Dame Journal of Formal Logic 30 (4):530-538 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635236

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

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

Through your library

My notes

Similar books and articles

Near coherence of filters. I. Cofinal equivalence of models of arithmetic.Andreas Blass - 1986 - Notre Dame Journal of Formal Logic 27 (4):579-591.
The consistency of arithmetic.Storrs McCall - manuscript
Consistency results about filters and the number of inequivalent growth types.Andreas Blass & Claude Laflamme - 1989 - Journal of Symbolic Logic 54 (1):50-56.
Countable filters on ω.Otmar Spinas - 1999 - Journal of Symbolic Logic 64 (2):469-478.
Infinitary combinatorics and modal logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Inconsistency: The coherence theorist’s nemesis?Mylan Engel - 1991 - Grazer Philosophische Studien 40 (1):113-130.
Leibniz filters revisited.Ramon Jansana - 2003 - Studia Logica 75 (3):305 - 317.
More on Regular Reduced Products.Juliette Cara Kennedy & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (4):1261 - 1266.
De finetti, countable additivity, consistency and coherence.Colin Howson - 2008 - British Journal for the Philosophy of Science 59 (1):1-23.
On uniqueness of prime models.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (2):215-220.
The relative consistency of system RRC* and some of its extensions.Max A. Freund - 1994 - Studia Logica 53 (3):351 - 360.
A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscript

Analytics

Added to PP
2010-08-24

Downloads
19 (#797,374)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
Special ultrafilters and cofinal subsets of $$({}^omega omega, <^*)$$.Peter Nyikos - 2020 - Archive for Mathematical Logic 59 (7-8):1009-1026.
Groupwise density and related cardinals.Andreas Blass - 1990 - Archive for Mathematical Logic 30 (1):1-11.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references