An almost strong relation
Let be a strong limit singular cardinal. We prove that if then for every ordinal . We obtain an optimal positive relation under , as after collapsing to this positive relation is preserved.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let μ be a strong limit singular cardinal. We prove that if 2μ>μ+ then (μμ+)→(μτ)<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 (μμ+)↛(μμμ+ω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 ℵω.
We suggest a forcing version of Yablo's paradox and discuss its implication on self-reference.
We prove that if μ>cf(μ)=ω and 2μ=μ+ then (μμ+)↛(μμμ+ ℵ2).
We study the consistency and consistency strength of various configurations concerning the cardinal characteristics sθ,pθ,gθ,rθ,tθ at uncountable regular cardinals θ. Motivated by a theorem of Raghavan-Shelah who proved that sθ≤bθ, we explore in the first part of the paper the consistency of inequalities comparing sθ with pθ and gθ. In the second part of the paper we study variations of the extender-based Radin forcing to establish several consistency results concerning 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 (ℵ2ℵω1)→(ℵ0ℵω1)2 and whether (ℵ2ℵω1)→(ℵ1ℵω1)2. We prove that both relations are independent over ZFC. We shall also prove that (ℵ2μ)→(ℵ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 μ>cf(μ)>ω.
We prove the consistency of the statement uℵω<2ℵω. We show that the consistency strength of this statement is exactly a measurable cardinal μ so that o(μ)=μ++.
We prove the consistency of rλ<dλ and even uλ<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.
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.