Source author record

Menachem Kojman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

Research overview

15works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Ramsey theory over partitions I: Positive Ramsey relations from forcing axioms

In this series of papers, we advance Ramsey theory of colorings over partitions. In this part, a correspondence between anti-Ramsey properties of partitions and chain conditions of the natural forcing notions that homogenize colorings over them is uncovered. At the level of the first uncountable cardinal this gives rise to a duality theorem under Martin's Axiom: a function $p:[ω_1]^2\rightarrowω$ witnesses a weak negative Ramsey relation when $p$ plays the role of a coloring if and only if a positive Ramsey relation holds over $p$ when $p$ plays the role of a partition. The consistency of positive Ramsey relations over partitions does not stop at the first uncountable cardinal: it is established that at any prescribed uncountable cardinal these relations follow from forcing axioms without large cardinal strength. This result solves in particular two problems from [CKS21].

preprint2022arXiv

Ramsey theory over partitions II: Negative Ramsey relations and pump-up theorems

In this series of papers we advance Ramsey theory of colorings over partitions. In this part, we concentrate on anti-Ramsey relations, or, as they are better known, strong colorings, and in particular solve two problems from [CKS21]. It is shown that for every infinite cardinal $λ$ , a strong coloring on $λ^+$ by $λ$ colors over a partition can be stretched to one with $λ^{+}$ colors over the same partition. Also, a sufficient condition is given for when a strong coloring witnessing $Pr_1(\ldots)$ over a partition may be improved to witness $Pr_0(\ldots)$ . Since the classical theory corresponds to the special case of a partition with just one cell, the two results generalize pump-up theorems due to Eisworth and Shelah, respectively.

preprint2022arXiv

Ramsey theory over partitions III: Strongly Luzin sets and partition relations

The strongest type of coloring of pairs of countable ordinals, gotten by Todorcevic from a strongly Luzin set, is shown to be equivalent to the existence of a nonmeager set of reals of size $\aleph_1$ . In the other direction, it is shown that the existence of both a strongly Luzin set and a coherent Souslin tree is compatible with the existence of a countable partition of pairs of countable ordinals such that no coloring is strong over it. This clarifies the interaction between a gallery of coloring assertions going back to Luzin and Sierpinski a hundred years ago.

preprint2015arXiv

On the arithmetic of density

The $κ$ -density of a cardinal $μ\geκ$ is the least cardinality of a dense collection of $κ$ -subsets of $μ$ and is denoted by $\mathcal D(μ,κ)$ . The Singular Density Hypothesis (SDH) for a singular cardinal $μ$ of cofinality $cfμ=κ$ is the equation $\mathcal D(μ,κ)=μ^+$ . The Generalized Density Hypothesis (GDH) for $μ$ and $λ$ such that $λ\leμ$ is: $\mathcal D(μ,λ)=μ$ if $cfμ\not=cfλ$ and $\mathcal D(μ,λ)=μ^+$ if $cfμ=cfλ$ . Density is shown to satisfy Silver's theorem. The most important case is: Theorem 2.6. If $κ=cfκ<θ=cfμ<μ$ and the set of cardinals $λ<μ$ of cofinality $κ$ that satisfy the \textsf{SDH} is stationary in $μ$ then the SDH holds at $μ$ . A more general version is given in Theorem 2.8 A corollary of Theorem 2.6 is: Theorem 3.2 If the Singular Density Hypothesis holds for all sufficiently large singular cardinals of some fixed cofinality $κ$ , then for all cardinals $λ$ with $cfλ\ge κ$ , for all sufficiently large $μ$ , the GDH holds.

preprint2013arXiv

Splitting families of sets in ZFC

Miller's 1937 splitting theorem was proved for pairs of cardinals $(\n,ρ)$ in which $n$ is finite and $ρ$ is infinite. An extension of Miller's theorem is proved here in ZFC for pairs of cardinals $(ν,ρ)$ in which $ν$ is arbitrary and $ρ\ge \beth_\om(ν)$. The proof uses a new general method that is based on Shelah's revises Generalized Continuum Hypothesis theorem. Upper bounds on conflict-free coloring numbers of families of sets and a general comparison theorem follow as corollaries of the main theorem. Other corollaries eliminate the use of additional axioms from splitting theorems due to Erdos, Hajnal, Komjath, Juhasz and Shelah.

preprint2002arXiv

Continuous Ramsey theory on Polish spaces and covering the plane by functions

We investigate the Ramsey theory of continuous pair-colorings on complete, separable metric spaces, and apply the results to the problem of covering a plane by functions. The homogeneity number hm(c) of a pair-coloring c:[X]^2 -> 2 is the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2^omega, c_min and c_max, which satisfy hm(c_min)\le hm(c_max) and prove: 1. For every Polish space X and every continuous pair-coloring c:[X]^2 -> 2 with hm(c) uncountable: hm(c)= hm(c_min) or hm(c)=hm(c_max) 2. There is a model of set theory in which hm(c_min)=aleph_1 and hm(c_max)=aleph_2 (The consistency of hm(c_min) = 2^aleph0 and of hm(c_max) < 2^aleph0 is known) We prove that hm(c_min) is equal to the covering number of (2^omega)^2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c_min gives: There is a model of set theory in which 1. R^2 is coverable by aleph1 graphs and reflections of graphs of continuous real functions; 2. R^2 is not coverable by aleph1 graphs and reflections of graphs of Lipschitz real functions.

preprint1997arXiv

Rules and Reals

A ``k-rule" is a sequence A=((A_n,B_n):n<omega) of pairwise disjoint sets B_n, each of cardinality at most k, where A_n is a subset of B_n. A set X of natural numbers (a ``real'') follows a rule A if for infinitely many n we have that the intersection of X with B_n is exactly A_n. There are obvious cardinal invariants resulting from this definition: the least number of reals needed to follow all k-rules, s_k, and the least number of k-rules without a real following all of them, r_k. We investigate these cardinal invariants and their connection to some well-known cardinals from Cichon's diagram. The original motivation for discovering rules was an attempt to construct a maximal homogeneous family over omega. The consistency of such a family is still open.

preprint1997arXiv

The condition in the Trichotomy Theorem is optimal

We show that the assumption lambda > kappa^+ in the Trichotomy Theorem cannot be relaxed to lambda > kappa .

preprint1995arXiv

A proof of Shelah's recent partition theorem

Shelah's own proof to his recent polarized partition theorem involving a singular strong limit that violates the GCH is presented. The proof is slightly re-arranges so that no use of the ideal I[λ] is made. The proof should be readabel to any student with knowledge of set theory.

preprint1995arXiv

A ZFC Dowker space in $\aleph_{ω+1}$ : an application of pcf theory to topology

A ZFC Dowker space is constructed which has cardinality $\aleph_{ω+1}$ . This provides a bound in ZFC to the first cardinal in which there is a ZFC Dowker space. The space we construct is a closed and cofinal subspace of M.~E.~Rudin's Dowker space from 1971. A theorem from pcf theory used in the proof, but otherwise the proof is elementary.

preprint1995arXiv

On universal graphs without cliques or withour large bipartite graphs

For every uncountable cardinal $λ$ , suitable negations of the Generalized Continuum Hypothesis imply: - For all infinite $α$ and $β$ , there is no universal $K_{α,β}$ -free graphs in $λ$ - For all $α\ge 3$ , there is no universal $K_α$ -free graph in $λ$ The instance $K_{ω,ω_1}$ for $λ=\aleph_1$ was settled by Komjath and Pach from the principle $\diamondsuit(ω_1)$ .

preprint1995arXiv

Representing embeddability as set inclusion

A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of Shelah it is proved: - The complexity of the class in every regular uncountable $ł>\aleph_1$ is at least $λ^+ + \sup\{μ^{\aleph_0}:μ^+<λ\}$ - For all regular uncountable $λ>\aleph_1$ there are $2^λ$ pairwise non embeddable graphs in the class having strong homogeneity properties. - It is characterized when some invariants of a graph $G\in \Cal G_λ$ have to be inherited by one of fewer than $λ$ subgraphs whose union covers $G$ . All three results are obtained as corollaries of a representation theorem that asserts the existence of a surjective homomorphism from the relation of embeddability over isomorphism types of regular cardinality $λ>\aleph_1$ onto set inclusion over all subsets of reals or cardinality $λ$ or less. Continuity properties of the homomorphism are used to extend the first result to all singular cardinals below the first cardinal fixed point of second order. The first result shows that, unlike what Shelah showed in the class of all graphs, the relations of embeddability in this class is not independent of negations of the GCH.

preprint1995arXiv

The A,B,C of pcf: a companion to pcf theory, Part I

This is a survey paper of Shelah's pcf theory. In this part the theory is developed up to the pcf theorem.

preprint1994arXiv

Universal abelian groups

We examine the existence of universal elements in classes of infinite abelian groups. The main method is using group invariants which are defined relative to club guessing sequences. We prove, for example: Theorem: For $n\ge 2$ , there is a purely universal separable $p$ -group in $\aleph_n$ if, and only if, $\cont\le \aleph_n$.

preprint1992arXiv

The universality spectrum of stable unsuperstable theories

It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0} then T has no universal model in aleph_omega. These results are generalized to kappa =cf(kappa) < kappa (T) in the place of aleph_0. Also: if there is a universal model in lambda >|T|, T stable and kappa < kappa (T) then there is a universal tree of height kappa +1 in cardinality lambda .

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.

Menachem Kojman

Research overview

Is this your work?

15 publications

Ramsey theory over partitions I: Positive Ramsey relations from forcing axioms

Ramsey theory over partitions II: Negative Ramsey relations and pump-up theorems

Ramsey theory over partitions III: Strongly Luzin sets and partition relations

On the arithmetic of density

Splitting families of sets in ZFC

Continuous Ramsey theory on Polish spaces and covering the plane by functions

Rules and Reals

The condition in the Trichotomy Theorem is optimal

A proof of Shelah's recent partition theorem

A ZFC Dowker space in $\aleph_{ω+1}$ : an application of pcf theory to topology

On universal graphs without cliques or withour large bipartite graphs

Representing embeddability as set inclusion

The A,B,C of pcf: a companion to pcf theory, Part I

Universal abelian groups

The universality spectrum of stable unsuperstable theories

See the researcher in context

Building this map preview

Menachem Kojman

Research overview

Is this your work?

15 publications

Ramsey theory over partitions I: Positive Ramsey relations from forcing axioms

Ramsey theory over partitions II: Negative Ramsey relations and pump-up theorems

Ramsey theory over partitions III: Strongly Luzin sets and partition relations

On the arithmetic of density

Splitting families of sets in ZFC

Continuous Ramsey theory on Polish spaces and covering the plane by functions

Rules and Reals

The condition in the Trichotomy Theorem is optimal

A proof of Shelah's recent partition theorem

A ZFC Dowker space in ℵω+1\aleph_{ω+1}ℵω+1​: an application of pcf theory to topology

On universal graphs without cliques or withour large bipartite graphs

Representing embeddability as set inclusion

The A,B,C of pcf: a companion to pcf theory, Part I

Universal abelian groups

The universality spectrum of stable unsuperstable theories

See the researcher in context

Building this map preview

A ZFC Dowker space in $\aleph_{ω+1}$ : an application of pcf theory to topology