Exactly two and exactly three near-coherence classes

Journal of Mathematical Logic 24 (1) (2023)
  Copy   BIBTEX

Abstract

We prove that for [Formula: see text] and [Formula: see text] there is a forcing extension with exactly n near-coherence classes of non-principal ultrafilters. We introduce localized versions of Matet forcing and we develop Ramsey spaces of names. The evaluation of some of the new forcings is based on a relative of Hindman’s theorem due to Blass 1987.

Links

PhilArchive



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

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

On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Towards a Grammar of Bayesian Coherentism.Michael Schippers - 2015 - Studia Logica 103 (5):955-984.
Measuring coherence.Igor Douven & Wouter Meijs - 2007 - Synthese 156 (3):405 - 425.
Coherence and the Truth Connection.Keith Lehrer - 2005 - Erkenntnis 63 (3):413-423.
Plausibilistic coherence.John R. Welch - 2014 - Synthese 191 (10):2239-2253.
On the Truth-Conduciveness of Coherence.William Roche - 2014 - Erkenntnis 79 (S3):647-665.
Is a coherence theory of understanding possible?Victor Gijsbers - 2015 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 30 (1):53.
Coherence in text, coherence in mind.T. Givón - 1993 - Pragmatics and Cognition 1 (2):171-227.

Analytics

Added to PP
2023-02-10

Downloads
6 (#1,325,649)

6 months
5 (#366,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Ultrafilters on a countable set.David Booth - 1970 - Annals of Mathematical Logic 2 (1):1.
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.Andreas Blass - 1986 - Notre Dame Journal of Formal Logic 27 (4):579-591.

View all 11 references / Add more references