Zobrazeno 1 - 10
of 182
pro vyhledávání: '"Sy-David Friedman"'
Publikováno v:
David Schrittesser
Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this article we aim to survey some of the work that has been done which combines
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c30e535a566e372f010f9262f60df6ea
http://arxiv.org/abs/2209.08696
http://arxiv.org/abs/2209.08696
Publikováno v:
Fundamenta Mathematicae. 255:231-254
Autor:
Dániel T. Soukup, Sy-David Friedman
Publikováno v:
Fundamenta Mathematicae. 253:175-196
We analyse the complexity of the class of (special) Aronszajn, Suslin and Kurepa trees in the projective hierarchy of the higher Baire-space $\omega_1^{\omega_1}$. First, we will show that none of these classes have the Baire property (unless they ar
Autor:
Claudio Ternullo, Sy-David Friedman
Publikováno v:
Foundations of Science. 28:287-305
In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maxim
Autor:
Sy-David Friedman, Dan Hathaway
Publikováno v:
The Journal of Symbolic Logic. 86:1385-1395
We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable transitive
Publikováno v:
The Review of Symbolic Logic. 14:112-154
A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are
Publikováno v:
Fundamenta Mathematicae. 251:219-244
Publikováno v:
Synthese. 197:469-475
Autor:
Sy-David Friedman, Stefan Hoffelner
Publikováno v:
The Journal of Symbolic Logic. 84:1466-1483
We show that, assuming the existence of the canonical inner model with one Woodin cardinal $M_1 $ , there is a model of $ZFC$ in which the nonstationary ideal on $\omega _1 $ is $\aleph _2 $-saturated and whose reals admit a ${\rm{\Sigma }}_4^1 $-wel
Autor:
Giorgio Laguzzi, Sy-David Friedman
In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of the generalised Cantor space and study its associated ideal of null sets and notion of measurability. This issue was also addresse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d119aa3e6b2cd5c8fe45b99256c7b8c5