Osvaldo Guzman
Published 2018-10-20Version 1
We answer an old question of Michael Hru\v{s}\'{a}k by constructing a $+$-Ramsey \textsf{MAD} family without the need of any additional axioms beyond $\mathsf{ZFC.}$ We also prove that every Miller-indestructible \textsf{MAD }family is $+$-Ramsey, this improves a result of Michael Hru\v{s}\'{a}k.
MA$_{ω_1}(S)[S]$ does not imply $\mathcal{K}_2$
Universal theories and compactly expandable models
The Consistency of the $\bf{Σ^1_3}$-Separation Property
![QR code for arXiv:1810.08763 [math.LO]](http://oss.arxitics.com/images/favicon.svg)