64 citations · 122 across the 44 of their papers we have counts for
47 papers
Coding over Core Models
Sy David Friedman, Ralf Schindler, 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 articl…
Mutually embeddable models of ZFC
Monroe Eskew, Sy-David Friedman, Yair Hayut +1
We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.
A null ideal for inaccessibles
Sy David Friedman, Giorgio Laguzzi
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…
Structural Properties of the Stable Core
Sy-David Friedman, Victoria Gitman, Sandra Müller
The stable core, an inner model of the form for a simply definable predicate , was introduced by the first author in [Fri12], where he showed that $…
On the complexity of classes of uncountable structures: trees on
Sy-David Friedman, Dániel T. Soukup
We analyse the complexity of the class of (special) Aronszajn, Suslin and Kurepa trees in the projective hierarchy of the higher Baire-space . First, we will show that n…
The Scott rank of Polish metric spaces
Sy Friedman, Katia Fokina, Martin Koerwien +1
We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational , there is a relation $R_…