- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Exactly two and exactly three near-coherence classes
Journal of Mathematical Logic 24 (1) (2023)
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.Other Versions
No versions found
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 Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems.Natasha Dobrinen - 2016 - Journal of Mathematical Logic 16 (1):1650003.
Forcing and stable ordered–union ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
The variety of projections of a tree Prikry forcing.Tom Benhamou, Moti Gitik & Yair Hayut - 2023 - Journal of Mathematical Logic 24 (3).
Classes of Barren Extensions.Natasha Dobrinen & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (1):178-209.
Forcing with filters and complete combinatorics.Claude Laflamme - 1989 - Annals of Pure and Applied Logic 42 (2):125-163.
There May be Infinitely Many Near-Coherence Classes under u < ∂.Heike Mildenberger - 2007 - Journal of Symbolic Logic 72 (4):1228 - 1238.
Coherent adequate forcing and preserving CH.John Krueger & Miguel Angel Mota - 2015 - Journal of Mathematical Logic 15 (2):1550005.
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces.Natasha Dobrinen & Sonia Navarro Flores - 2022 - Archive for Mathematical Logic 61 (7):1053-1090.
Analytics
Added to PP
2023-02-10
Downloads
24 (#909,478)
6 months
13 (#258,769)
2023-02-10
Downloads
24 (#909,478)
6 months
13 (#258,769)
Historical graph of downloads
References found in this work
There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed.Andreas Blass & Saharon Shelah - 1987 - Annals of Pure and Applied Logic 33 (C):213-243.
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.Andreas Blass - 1986 - Notre Dame Journal of Formal Logic 27 (4):579-591.
Near coherence of filters. III. A simplified consistency proof.Andreas Blass & Saharon Shelah - 1989 - Notre Dame Journal of Formal Logic 30 (4):530-538.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-sfdq8 dc2