BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Sy-David Friedman

Sy-David Friedman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LO

Catalog footprint

What is connected

9works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

9 published item(s)

preprint2016arXiv

Cichon's Diagram for uncountable cardinals

We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the ZFC-results about the order relationship of the cardinal invariants which hold for omega generalize; for example we obtain a natural generalization of the Bartoszynski-Raisonnier-Stern Theorem. We also prove a number of independence results, both with <kappa-support iterations and kappa-support iterations and products, showing that we consistently have strict inequality between some of the cardinal invariants.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access