Archives
Keywords
C-sequence Sierpinski's onto mapping principle tensor product graph diamond star SNR O-space Filter reflection Diamond for trees Hindman's Theorem Almost-disjoint family Absoluteness P-Ideal Dichotomy PFA Poset Subtle cardinal ccc Martin's Axiom full tree Vanishing levels Parameterized proxy principle Strong coloring Ineffable cardinal Uniformization Singular cardinals combinatorics AIM forcing Singular Density Generalized descriptive set theory Uniformly homogeneous weak square Hereditarily Lindelöf space Strongly Luzin set positive partition relation Antichain Fodor-type reflection Minimal Walks Subtle tree property PFA(S)[S] Almost countably chromatic Fast club weak Kurepa tree square principles stationary reflection Coherent tree Kurepa Hypothesis specializable Souslin tree reflection principles L-space club_AD Rainbow sets Successor of Regular Cardinal Open Access Knaster and friends Commutative cancellative semigroups Precaliber Closed coloring Cohen real Hedetniemi's conjecture Forcing Analytic sets 54G20 Dowker space projective Boolean algebra Non-saturation Intersection model Well-behaved magma coloring number Small forcing Selective Ultrafilter Constructible Universe xbox regressive Souslin tree Jonsson cardinal Souslin Tree Prevalent singular cardinals Rado's conjecture stationary hitting transformations Strongly compact cardinal Greatly Mahlo OCA Foundations Sakurai's Bell inequality Microscopic Approach Subnormal ideal Dushnik-Miller Partition Relations Respecting tree unbounded function Fat stationary set very good scale Lipschitz reduction Ascent Path Ulam matrix Reflecting stationary set Square-Brackets Partition Relations Club Guessing Shelah's Strong Hypothesis HOD Chang's conjecture Generalized Clubs polarized partition relation Amenable C-sequence indecomposable ultrafilter Postprocessing function Singular cofinality Successor of Singular Cardinal b-scale incompactness Rock n' Roll Uniformly coherent Reduced Power free Souslin tree Cardinal function Mandelbrot set Universal Sequences countably metacompact Chromatic number Cardinal Invariants Diamond-sharp free Boolean algebra Whitehead Problem ZFC construction Large Cardinals super-Souslin tree Was Ulam right middle diamond Ostaszewski square Slim tree sap Almost Souslin Commutative projection system weak diamond Diamond S-Space strongly bounded groups Luzin set Aronszajn tree GMA higher Baire space Erdos Cardinal Subadditive Prikry-type forcing approachability ideal Axiom R Erdos-Hajnal graphs nonmeager set Forcing Axioms Sigma-Prikry Countryman line Local Club Condensation. Distributive tree Nonspecial tree Weakly compact cardinal square stick Knaster Ramsey theory over partitions Iterated forcing
Tag Archives: ZFC construction
Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
Joint work with Tanmay Inamdar. Abstract. It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with … Continue reading
A counterexample related to a theorem of Komjáth and Weiss
Joint work with Rodrigo Rey Carvalho. Abstract. In a paper from 1987, Komjath and Weiss proved that for every regular topological space $X$ of character less than $\mathfrak b$, if $X\rightarrow(\text{top }{\omega+1})^1_\omega$, then $X\rightarrow(\text{top }{\alpha})^1_\omega$ for all $\alpha<\omega_1$. In addition, … Continue reading
Posted in Partition Relations, Preprints, Topology
Tagged 03E02, 54G20, Prikry-type forcing, ZFC construction
Comments Off on A counterexample related to a theorem of Komjáth and Weiss
A Shelah group in ZFC
Joint work with Márk Poór. Abstract. In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group $G$ that moreover admits an integer $n$ satisfying … Continue reading
Posted in Groups, Preprints
Tagged 03E02, 03E75, 20A15, 20E15, 20F06, Jonsson cardinal, Strong coloring, strongly bounded groups, Subadditive, ZFC construction
2 Comments
Partitioning a reflecting stationary set
Joint work with Maxwell Levine. Abstract. We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer … Continue reading
Strong failures of higher analogs of Hindman’s Theorem
Joint work with David J. Fernández Bretón. Abstract. We show that various analogs of Hindman’s Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1. There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that … Continue reading
Posted in Groups, Partition Relations, Publications
Tagged 03E02, 03E35, 03E75, 05A17, 05D10, 11P99, 20M14, Chang's conjecture, Commutative cancellative semigroups, Erdos Cardinal, Hindman's Theorem, Jonsson cardinal, Kurepa Hypothesis, Square-Brackets Partition Relations, Weakly compact cardinal, ZFC construction
1 Comment
Mathematics Colloquium, Bar-Ilan University, November 2013
I gave a colloquium talk at Bar-Ilan University on November 10, 2013. Title: Forcing as a tool to prove theorems Abstract: Paul Cohen celebrated solution to Hilbert’s first problem showed that the Continuum Hypothesis is independent of the usual axioms of … Continue reading
Rectangular square-bracket operation for successor of regular cardinals
Joint work with Stevo Todorcevic. Extended Abstract: Consider the coloring statement $\lambda^+\nrightarrow[\lambda^+;\lambda^+]^2_{\lambda^+}$ for a given regular cardinal $\lambda$: In 1990, Shelah proved the above for $\lambda>2^{\aleph_0}$; In 1991, Shelah proved the above for $\lambda>\aleph_1$; In 1997, Shelah proved the above … Continue reading
Transforming rectangles into squares, with applications to strong colorings
Abstract: It is proved that every singular cardinal $\lambda$ admits a function $\textbf{rts}:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. That is, whenever $A,B$ are cofinal subsets of $\lambda^+$, we have $\textbf{rts}[A\circledast B]\supseteq C\circledast C$, for some cofinal subset $C\subseteq\lambda^+$. As a … Continue reading
