Katětov order on Borel ideals
M Hrušák - Archive for Mathematical Logic, 2017 - Springer
We study the Katětov order on Borel ideals. We prove two structural theorems (dichotomies),
one for Borel ideals, the other for analytic P-ideals. We isolate nine important Borel ideals …
one for Borel ideals, the other for analytic P-ideals. We isolate nine important Borel ideals …
Mathias forcing and combinatorial covering properties of filters
MATHIAS FORCING AND COMBINATORIAL COVERING PROPERTIES OF FILTERS §1.
Introduction. A subset F of [ ] is called a filter if F c Page 1 The Journal of Symbolic Logic Volume …
Introduction. A subset F of [ ] is called a filter if F c Page 1 The Journal of Symbolic Logic Volume …
Refining systems of mad families
V Fischer, M Koelbing, W Wohofsky - Israel Journal of Mathematics, 2024 - Springer
We construct a model in which there exists a refining matrix of regular height λ larger than h \documentclass[12pt]{minimal}
\usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} …
\usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} …
The ultrafilter and almost disjointness numbers
O Guzmán, D Kalajdzievski - Advances in Mathematics, 2021 - Elsevier
We prove that every MAD family can be destroyed by a proper forcing that preserves P-
points. With this result, we prove that it is consistent that ω 1= u< a, solving a nearly 20 year …
points. With this result, we prove that it is consistent that ω 1= u< a, solving a nearly 20 year …
[PDF][PDF] CANJAR FILTERS II: PROOFS OF AND REVISITED (Reflection principles and set theory of large cardinals)
CANJAR FILTERS Ⅱ : PROOFS OF b<s AND b<a REVISITED Page 1 CANJAR FILTERS :
PROOFS OF $\mathfrak{b}<\epsilon$ AND $\mathfrak{b}<\mathfrak{a}$ REVISITED OSVALDO …
PROOFS OF $\mathfrak{b}<\epsilon$ AND $\mathfrak{b}<\mathfrak{a}$ REVISITED OSVALDO …
On strong 𝑃-points
This paper investigates the combinatorial property of ultrafilters where the Mathias forcing
relativized to them does not add dominating reals. We prove that the characterization due to …
relativized to them does not add dominating reals. We prove that the characterization due to …
Towers in filters, cardinal invariants, and Luzin type families
J Brendle, B Farkas, J Verner - The Journal of Symbolic Logic, 2018 - cambridge.org
TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES §1. Introduction.
Let us denote Fin the Fréchet ideal on , ie Page 1 The Journal of Symbolic Logic Volume 83 …
Let us denote Fin the Fréchet ideal on , ie Page 1 The Journal of Symbolic Logic Volume 83 …
Combinatorial properties of MAD families
We study some strong combinatorial properties of $\textsf {MAD} $ families. An ideal
$\mathcal {I} $ is Shelah-Stepr\={a} ns if for every set $ X\subseteq {\left [\omega\right]}^{< …
$\mathcal {I} $ is Shelah-Stepr\={a} ns if for every set $ X\subseteq {\left [\omega\right]}^{< …