S. Garti

activity

20112019

collaborators

5 papers

math.LO2019

Dowker filters and Magidor forcing

Shimon Garti, Yair Hayut

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 consis…

math.LO2019

Infinite monochromatic paths and a theorem of Erdos-Hajnal-Rado

Shimon Garti, Menachem Magidor, Saharon Shelah

We prove that if $μ > cf (μ) = ω$ and $2^{μ} = μ^{+}$ then $(μ μ ^{+}) ↛ (μμ μ ^{+} ℵ _{2})$ .

math.LO2018

Bipartite graphs and monochromatic squares

Shimon Garti

We prove that consistently every bipartite graph of size $κ^{+} \times κ^{+}$ contains either a clique or an independent subset of size $τ \times τ$ for every $τ \in κ^{+}$ , where $κ$ is a suc…

math.LO2012

Separating properties for normal ultrafilters

Shimon Garti

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…

math.LO2011

Pity on lambda

Shimon Garti

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…