Researcher profile

Sy-David Friedman

Sy-David Friedman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

8works

0followers

1topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2015arXiv

Hyperclass Forcing in Morse-Kelley Class Theory

In this article we introduce and study hyperclass-forcing (where the conditions of the forcing notion are themselves classes) in the context of an extension of Morse-Kelley class theory, called MK$^{**}$. We define this forcing by using a symmetry between MK$^{**}$ models and models of ZFC$^-$ plus there exists a strongly inaccessible cardinal (called SetMK$^{**}$). We develop a coding between $β$-models $\mathcal{M}$ of MK$^{**}$ and transitive models $M^+$ of SetMK$^{**}$ which will allow us to go from $\mathcal{M}$ to $M^+$ and vice versa. So instead of forcing with a hyperclass in MK$^{**}$ we can force over the corresponding SetMK$^{**}$ model with a class of conditions. For class-forcing to work in the context of ZFC$^-$ we show that the SetMK$^{**}$ model $M^+$ can be forced to look like $L_{κ^*}[X]$, where $κ^*$ is the height of $M^+$, $κ$ strongly inaccessible in $M^+$ and $X\subseteqκ$. Over such a model we can apply definable class forcing and we arrive at an extension of $M^+$ from which we can go back to the corresponding $β$-model of MK$^{**}$, which will in turn be an extension of the original $\mathcal{M}$. Our main result combines hyperclass forcing with coding methods of [BJW82] and [Fri00] to show that every $β$-model of MK$^{**}$ can be extended to a minimal such model of MK$^{**}$ with the same ordinals. A simpler version of the proof also provides a new and analogous minimality result for models of second-order arithmetic.

preprint2014arXiv

Failures of the Silver Dichotomy in the Generalised Baire Space

We prove results that falsify Silver's dichotomy for Borel equivalence relations on the generalised Baire space under the assumption V=L.

preprint2014arXiv

On Borel Reducibility in Generalised Baire Space

In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $κ^κ$ for an uncountable $κ$ with the property $κ^{<κ}=κ$. The theory looks quite different from its classical counterpart where $κ=ω$, although some basic theorems do generalise.

preprint2013arXiv

Easton functions and supercompactness

Suppose $κ$ is $λ$-supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $κ$, and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton's theorem: (1) $\forallα$ $α<\textrm{cf}(F(α))$ and (2) $α<β$ $\Longrightarrow$ $F(α)\leq F(β)$. In this article we address the question: assuming GCH, what additional assumptions are necessary on $j$ and $F$ if one wants to be able to force the continuum function to agree with $F$ globally, while preserving the $λ$-supercompactness of $κ$? We show that, assuming GCH, if $F$ is any function as above, and in addition for some regular cardinal $λ>κ$ there is an elementary embedding $j:V\rightarrow M$ with critical point $κ$ such that $κ$ is closed under $F$, the model $M$ is closed under $λ$-sequences, $H(F(λ))\subseteq M$, and for each regular cardinal $γ\leq λ$ one has $(|j(F)(γ)|=F(γ))^V$, then there is a cardinal-preserving forcing extension in which $2^δ=F(δ)$ for every regular cardinal $δ$ and $κ$ remains $λ$-supercompact. This answers a question of B. Cody, M. Magidor, On supercompactness and the continuum function, Ann. Pure Appl. Logic, (2013).

preprint2012arXiv

Subcompact cardinals, squares, and stationary reflection

We generalise Jensen's result on the incompatibility of subcompactness with square. We show that alpha^+-subcompactness of some cardinal less than or equal to alpha precludes square_alpha, but also that square may be forced to hold everywhere where this obstruction is not present. The forcing also preserves other strong large cardinals. Similar results are also given for stationary reflection, with a corresponding strengthening of the large cardinal assumption involved. Finally, we refine the analysis by considering Schimmerling's hierarchy of weak squares, showing which cases are precluded by alpha^+-subcompactness, and again we demonstrate the optimality of our results by forcing the strongest possible squares under these restrictions to hold.

preprint2011arXiv

Analytic equivalence relations and bi-embedability

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This is in strong contrast to the case of the isomorphism relation, which as an equivalence relation on graphs (or on any class of countable structures consisting of the models of a sentence of L_{ω_1 ω}) is far from complete (see [5, 2]). In this article we strengthen the results of [5] by showing that not only does bi-embeddability give rise to analytic equivalence relations which are complete under Borel reducibility, but in fact any analytic equivalence relation is Borel equivalent to such a relation. This result and the techniques introduced answer questions raised in [5] about the comparison between isomorphism and bi-embeddability. Finally, as in [5] our results apply not only to classes of countable structures defined by sentences of L_{ω_1 ω}, but also to discrete metric or ultrametric Polish spaces, compact metrizable topological spaces and separable Banach spaces, with various notions of embeddability appropriate for these classes, as well as to actions of Polish monoids.

preprint2011arXiv

Projective maximal families of orthogonal measures with large continuum

We study maximal orthogonal families of Borel probability measures on $2^ω$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a $Δ^1_3$-definable well order of the reals, there is a $Π^1_2$-definable m.o. family, there are no $\mathbfΣ^1_2$-definable m.o. families and $\mathfrak{b}=\mathfrak{c}=ω_3$ (in fact any reasonable value of $\mathfrak{c}$ will do). (2) There is a $Δ^1_3$-definable well order of the reals, there is a $Π^1_2$-definable m.o. family, there are no $\mathbfΣ^1_2$-definable m.o. families, $\mathfrak{b}=ω_1$ and $\mathfrak{c}=ω_2$.

preprint2008arXiv

Large cardinals and gap-1 morasses

We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong (0<n<omega+1), hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make the GCH hold is required. Our forcing yields morasses that satisfy an extra property related to the homogeneity of the partial order; we refer to them as mangroves and prove that their existence is equivalent to the existence of morasses. Finally, we exhibit a partial order that forces universal morasses to exist at every regular uncountable cardinal, and use this to show that universal morasses are consistent with n-superstrong, hyperstrong, and 1-extendible cardinals. This all contributes to the second author's outer model programme, the aim of which is to show that L-like principles can hold in outer models which nevertheless contain large cardinals.

Sy-David Friedman

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

8 published item(s)

Hyperclass Forcing in Morse-Kelley Class Theory

Failures of the Silver Dichotomy in the Generalised Baire Space

On Borel Reducibility in Generalised Baire Space

Easton functions and supercompactness

Subcompact cardinals, squares, and stationary reflection

Analytic equivalence relations and bi-embedability

Projective maximal families of orthogonal measures with large continuum

Large cardinals and gap-1 morasses