BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Shimon Garti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $μ$ be a strong limit singular cardinal. We prove that if $2^μ > μ^+$ then $\binom{μ^+}μ\to \binomτμ_{<{\rm cf}(μ)}$ for every ordinal $τ<μ^+$. We obtain an optimal positive relation under $2^μ= μ^+$, as after collapsing $2^μ$ to $μ^+$ this positive relation is preserved.
We force the existence of a non-trivial $κ$-complete ultrafilter over $κ$ which fails to satisfy the Galvin property. This answers a question asked by the first author and Moti Gitik.
We prove the consistency of $\binom{μ^+}μ\nrightarrow\binom{μ^+ ω_1}{μ μ}$ where $μ$ is a strong limit singular cardinal of countable cofinality. This result can be forced at limit of measurable cardinals and at small cardinals like $\aleph_ω$.
We suggest a forcing version of Yablo's paradox and discuss its implication on self-reference.
We prove that if $μ>{\rm cf}(μ)=ω$ and $2^μ=μ^+$ then $\binom{μ^+}μ\nrightarrow\binom{μ^+\ \aleph_2}{μ μ}$.
We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_θ,\mathfrak{p}_θ,\mathfrak{g}_θ,\mathfrak{r}_θ,\mathfrak{t}_θ$ at uncountable regular cardinals $θ$. Motivated by a theorem of Raghavan-Shelah who proved that $\mathfrak{s}_θ\leq\mathfrak{b}_θ$, we explore in the first part of the paper the consistency of inequalities comparing $\mathfrak{s}_θ$ with $\mathfrak{p}_θ$ and $\mathfrak{g}_θ$. In the second part of the paper we study variations of the extender-based Radin forcing to establish several consistency results concerning $\mathfrak{r}_θ$ from hyper-measurability assumptions, results which were previously known to be consistent only from supercompactness assumptions. In doing so, we answer several questions which appeared in the literature.
Erdos, Hajnal and Rado asked whether $\binom{\aleph_{ω_1}}{\aleph_2}\rightarrow\binom{\aleph_{ω_1}}{\aleph_0}_2$ and whether $\binom{\aleph_{ω_1}}{\aleph_2}\rightarrow\binom{\aleph_{ω_1}}{\aleph_1}_2$. We prove that both relations are independent over ZFC. We shall also prove that $\binomμ{\aleph_2}\rightarrow\binomμ{\aleph_2}_2$ is independent over ZF for some $μ$ of cofinality $ω_1$.
We study the structured rainbow Ramsey theory at uncountable cardinals. When compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than $ω_1$, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised in \cite{zhang}.
Let inv denote the cardinal invariants Depth^+ and Length^+ on Boolean algebras. For many singular cardinals we create a strict inequality between the product of the inv values and the inv of the product algebra. The proof holds in ZFC.
We prove that the consistency of the existence of a Dowker filter at $κ^+$ along with $2^κ=κ^+$ where $κ$ is regular and uncountable. Using Magidor forcing we also prove the consistency of the existence of a Dowker filter at $μ^+$ where $μ>{\rm cf}(μ)>ω$.
We prove the consistency of the statement $\mathfrak{u}_{\aleph_ω}<2^{\aleph_ω}$. We show that the consistency strength of this statement is exactly a measurable cardinal $μ$ so that $o(μ)=μ^{++}$.
We prove the consistency of $\mathfrak{r}_λ<\mathfrak{d}_λ$ and even $\mathfrak{u}_λ<\mathfrak{d}_λ$ for a singular cardinal $λ$.
We analyze the non-stationary ideal and the club filter at aleph_1 under MM.
We prove combinatorial theorems concerning the stick principle and cardinal characteristics.
We prove the existence of infinite dense free sets (in the usual topology) for set mappings on the reals, under reasonable assumptions.
We list some open problems, concerning the polarized partition relation. We solve a couple of them by showing that for every singular cardinal $μ$ one can force the strong polarized relation with respect to the pair $μ^+,μ$.
We define the strong splitting number, prove that it equals s when exists, and put some restrictions on the possibility that s is a singular carcinal.
We characterize the situation of having many normal measures on a measurable cardinal. We show the plausibility of having many normal measures on each compact cardinal.
We define separating properties for normal ultrafilters. We prove that compactness and supercompactness are separable, yet compactness and measurability are not. We describe how to use separating properties in order to elicit distinct normal ultrafilters which do not contain the measurables.
Let V be a finite set of points in the plane, not contained in a line. Assume |V| = n is an odd number, and |L \cap V| \leq 3 for every line L which is spanned by V. We prove that every simple line L_{a,b} in V creates a simple wedge (i.e., a triple {a, b, c} \subseteq V such that L_{a,b} and L_{a,c} are simple lines). We also show that both restrictions on V (namely |V| is odd and |L \cap V| \leq 3) are needed. We conjecture, further, that if |V | = n is an odd number then V contains a simple wedge, even if V is not 3-bounded. We introduce a method for proving this, which gives (in this paper) partial results.
We prove the consistency of a singular cardinal $λ$ with small value of the ultrafilter number $u_λ$, and arbitrarily large value of $2^λ$.
We generalize Rothberger's theorem for regular lambda. We prove that the discrepancy between the pseudointersection number and the towering number is limited, under some reasobable assumption
We prove a Theorem about the relationship between the Depth of the ultraproduct of Boolean algebras, divided by an ultrafilter, and the products of the depths of each component. This answers (partly) an open problem of Monk.