Source author record

Stevo Todorcevic

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 math.GN Logic in Computer Science math.FA math.GT

Catalog footprint

Research overview

23works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A combinatorial property of rho-functions

We show that if $\mathcal{T}$ is any Hausdorff topology on $ω_{1}$ , then any subset of $ω_{1}$ which is homeomorphic to the rationals under $\mathcal{T}$ can be refined to a homeomorphic copy of the rationals on which $\barρ$ is shift-increasing.

preprint2022arXiv

A Dual Ramsey theorem for trees

We prove a dualization of the Graham--Rothschild Theorem for variable words indexed by homogeneous trees.

preprint2022arXiv

Galvin's problem in higher dimensions

It is proved that for each natural number $n$ , if $\left| \mathbb{R} \right| = {\aleph}_{n}$ , then there is a coloring of ${\left[ \mathbb{R} \right]}^{n+2}$ into ${\aleph}_{0}$ colors that takes all colors on ${\left[ X \right]}^{n+2}$ whenever $X$ is any set of reals which is homeomorphic to $\mathbb{Q}$ . This generalizes a theorem of Baumgartner and sheds further light on a problem of Galvin from the 1970s. Our result also complements and contrasts with our earlier result saying that any coloring of ${\left[ \mathbb{R} \right]}^{2}$ into finitely many colors can be reduced to at most $2$ colors on the pairs of some set of reals which is homeomorphic to $\mathbb{Q}$ when large cardinals exist.

preprint2020arXiv

The Strength of Menger's Conjecture

Menger conjectured that subsets of R with the Menger property must be $σ$ -compact. While this is false when there is no restriction on the subsets of R, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We note that in fact, Menger's conjecture for projective sets has consistency strength of only an inaccessible cardinal.

preprint2016arXiv

Rosenthal compacta that are premetric of finite degree

We show that if a separable Rosenthal compactum $K$ is an $n$ -to-one preimage of a metric compactum, but it is not an $n-1$ -to-one preimage, then $K$ contains a closed subset homeomorphic to either the $n-$ Split interval $S_n(I)$ or the Alexandroff $n-$ plicate $D_n(2^\mathbb{N})$ . This generalizes a result of the third author that corresponds to the case $n=2$ .

preprint2016arXiv

Suslin trees, the bounding number, and partition relations

We investigate the unbalanced ordinary partition relations of the form $λ\rightarrow {(λ, α)}^{2}$ for various values of the cardinal $λ$ and the ordinal $α$ . For example, we show that for every infinite cardinal $κ,$ the existence of a $κ^{+}-$ Suslin tree implies $κ^{+} \not\rightarrow {\left( κ^{+}, {\log}_κ(κ^{+}) + 2 \right)}^{2}$ . The consistency of the positive partition relation $\mathfrak{b} \rightarrow {(\mathfrak{b}, α)}^{2}$ for all $α< ω_{1}$ for the bounding number $\mathfrak{b}$ is also established from large cardinals.

preprint2016arXiv

Trees and gaps from a construction scheme

We present natural constructions of trees and gaps using a quite general construction scheme. In particular, we solve a natural problem about $(ω_1, ω_1)$ -gaps. As it is well known $(ω_1, ω_1)$ -gaps can sometimes be filled in $ω_1$ -preserving forcing extensions of the set-theoretic universe. There are two natural conditions, dubbed $S$ and $T$ below, that guarantee the existence of such forcing extensions. The condition $T$ is a natural strengthening of the condition $S$ and was motivated by the numerous analogies between $(ω_1,ω_1)$ -gaps and certain trees of height $ω_1.$ It turns out that the condition $S$ is in fact equivalent to the existence of such forcing extensions but we show that the condition $T$ is strictly stronger by proving that it is consistent that there are fillable $(ω_1, ω_1)$ -gaps (i.e., S-gaps) but no T-gaps.

preprint2015arXiv

Compact spaces of the first Baire class that have open finite degree

We introduce the open degree of a compact space, and we show that for every natural number n, the separable Rosenthal compact spaces of degree n have a finite basis.

preprint2015arXiv

Forcing with matrices of countable elementary submodels

We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_θ$ . We show that forcing with this poset adds a Kurepa tree $T$ . Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any antichain in $T$ is not stationary in $ω_1$ .

preprint2014arXiv

A disjoint union theorem for trees

We prove an infinitary disjoint union theorem for level products of trees. To implement the proof we develop a Hales-Jewett type result for words indexed by a level product of trees.

preprint2013arXiv

Combinatorial dichotomies and cardinal invariants

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that the statement that $\mathfrak{x} > ω_{1}$ is equivalent to the statement that 1, $ω$ , $ω_{1}$ , $ω\times ω_{1}$ , and ${\left[ω_{1}\right]}^{< ω}$ are the only cofinal types of directed sets of size at most ${\aleph}_{1}$ . We investigate the corresponding problem for the partition relation $ω_{1} \rightarrow (ω_{1}, α)^2$ for all $α< ω_{1}$ . To this effect, we investigate partition relations for pairs of comparable elements of a coherent Suslin tree $\mathbb{S}$ . We show that a positive partition relation for such pairs follows from the maximal amount of the proper forcing axiom compatible with the existence of $\mathbb{S}$ . As a consequence we conclude that after forcing with the coherent Suslin tree $\mathbb{S}$ over a ground model satisfying this relativization of the proper forcing axiom, $ω_{1} ~\rightarrow {(ω_{1}, α)}^{2}$ for all $α< ω_{1}$ . We prove that this positive partition relation for $\mathbb{S}$ cannot be improved by showing in $\mathrm{ZFC}$ that $\mathbb{S} \not\rightarrow ({\aleph}_{1}, ω+2)^2$ .

preprint2012arXiv

A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters

Motivated by Tukey classification problems and building on work in \cite{Dobrinen/Todorcevic11}, we develop a new hierarchy of topological Ramsey spaces $\mathcal{R}_α$ , $α<ω_1$ . These spaces form a natural hierarchy of complexity, $\mathcal{R}_0$ being the Ellentuck space, and for each $α<ω_1$ , $\mathcal{R}_{α+1}$ coming immediately after $\mathcal{R}_α$ in complexity. Associated with each $\mathcal{R}_α$ is an ultrafilter $\mathcal{U}_α$ , which is Ramsey for $\mathcal{R}_α$ , and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems for equivalence relations on fronts on $\mathcal{R}_α$ , $2\leα<ω_1$ . These are analogous to the Pudlak-\Rodl\ Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our Ramsey-classification theorems to completely classify all Rudin-Keisler equivalence classes of ultrafilters which are Tukey reducible to $\mathcal{U}_α$ , for each $2\leα<ω_1$ : Every ultrafilter which is Tukey reducible to $\mathcal{U}_α$ is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of rapid p-points. Moreover, we show that the Tukey types of nonprincipal ultrafilters Tukey reducible to $\mathcal{U}_α$ form a descending chain of order type $α+1$ .

preprint2012arXiv

A Ramsey-Classification Theorem and its Application in the Tukey Theory of Ultrafilters

Motivated by a Tukey classification problem we develop here a new topological Ramsey space $\mathcal{R}_1$ that in its complexity comes immediately after the classical is a natural Ellentuck space \cite{MR0349393}. Associated with $\mathcal{R}_1$ is an ultrafilter $\mathcal{U}_1$ which is weakly Ramsey but not Ramsey. We prove a canonization theorem for equivalence relations on fronts on $\mathcal{R}_1$ . This is analogous to the Pudlak-\Rodl\ Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our canonization theorem to completely classify all Rudin-Keisler equivalence classes of ultrafilters which are Tukey reducible to $\mathcal{U}_1$ : Every ultrafilter which is Tukey reducible to $\mathcal{U}_1$ is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of ultrafilters. Moreover, we show that there is exactly one Tukey type of nonprincipal ultrafilters strictly below that of $\mathcal{U}_1$ , namely the Tukey type a Ramsey ultrafilter.

preprint2012arXiv

Automatic Ordinals

We prove that the injectively omega-tree-automatic ordinals are the ordinals smaller than $ω^{ω^ω}$ . Then we show that the injectively $ω^n$ -automatic ordinals, where $n>0$ is an integer, are the ordinals smaller than $ω^{ω^n}$ . This strengthens a recent result of Schlicht and Stephan who considered in [Schlicht-Stephan11] the subclasses of finite word $ω^n$ -automatic ordinals. As a by-product we obtain that the hierarchy of injectively $ω^n$ -automatic structures, n>0, which was considered in [Finkel-Todorcevic12], is strict.

preprint2012arXiv

Finite basis for analytic strong n-gaps

We identify the finite list of minimal analytic n-gaps which are not countably separated, and we prove that every analytic n-gap which is not countably separated contains a gap from our finite list.

preprint2012arXiv

Oscilation stability for continuous monotone surjections

We prove that for every integer $b\geqslant 2$ and positive real $\varepsilon$ there exists a finite number $t$ such that for every finite coloring of the nondecreasing surjections from $b^ω$ onto $b^ω$ , there exist $t$ many colors such that their $\varepsilon$ -fattening contains a cube.

preprint2012arXiv

Subsets of Products of Finite Sets of Positive Upper Density

In this note we prove that for every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\leqslant1$ there is a sequence $(n_q)_{q}$ of positive integers such that for every sequence $(H_q)_{q}$ of finite sets such that $|H_q|=n_q$ for every $q\in\mathbb{N}$ and for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}H_q$ with the property that $\limsup_k \frac{|D\cap \prod_{q=0}^{k-1} H_q|}{|\prod_{q=0}^{k-1}H_q|}\geqslantδ$ there is a sequence $(J_q)_{q}$ , where $J_q\subseteq H_q$ and $|J_q|=m_q$ for all $q$ , such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for infinitely many $k.$ This gives us a density version of a well-known Ramsey-theoretic result. We also give some estimates on the sequence $(n_q)_{q}$ in terms of the sequence of $(m_q)_{q}$ .

preprint2011arXiv

A Hierarchy of Tree-Automatic Structures

We consider $ω^n$ -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length $ω^n$ for some integer $n\geq 1$ . We show that all these structures are $ω$ -tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for $ω^2$ -automatic (resp. $ω^n$ -automatic for $n>2$ ) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) is not determined by the axiomatic system ZFC. We infer from the proof of the above result that the isomorphism problem for $ω^n$ -automatic boolean algebras, $n > 1$ , (respectively, rings, commutative rings, non commutative rings, non commutative groups) is neither a $Σ_2^1$ -set nor a $Π_2^1$ -set. We obtain that there exist infinitely many $ω^n$ -automatic, hence also $ω$ -tree-automatic, atomless boolean algebras $B_n$ , $n\geq 1$ , which are pairwise isomorphic under the continuum hypothesis CH and pairwise non isomorphic under an alternate axiom AT, strengthening a result of [FT10].

preprint2011arXiv

Multiple gaps

We consider the notion of multiple gap as a finite set of ideals that cannot be separated. We study the different types of such objects that can be found in the Boolean algebra of subsets of the natural numbers modulo finite sets.

preprint2011arXiv

Tukey types of ultrafilters

We investigate the structure of the Tukey types of ultrafilters on countable sets partially ordered by reverse inclusion. A canonization of cofinal maps from a p-point into another ultrafilter is obtained. This is used in particular to study the Tukey types of p-points and selective ultrafilters. Results fall into three main categories: comparison to a basis element for selective ultrafilters, embeddings of chains and antichains into the Tukey types, and Tukey types generated by block-basic ultrafilters on FIN.

preprint2010arXiv

Banach spaces and Ramsey Theory: some open problems

We discuss some open problems in the Geometry of Banach spaces having Ramsey-theoretic flavor. The problems are exposed together with well known results related to them.

preprint2010arXiv

The Isomorphism Relation Between Tree-Automatic Structures

An $ω$ -tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for $ω$ -tree-automatic structures. We prove first that the isomorphism relation for $ω$ -tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is not determined by the axiomatic system ZFC. Then we prove that the isomorphism problem for $ω$ -tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is neither a $Σ_2^1$ -set nor a $Π_2^1$ -set.

preprint2003arXiv

Kadec norms on spaces of continuous functions

We study the existence of pointwise Kadec renormings for Banach spaces of the form $C(K)$ . We show in particular that such a renorming exists when $K$ is any product of compact linearly ordered spaces, extending the result for a single factor due to Haydon, Jayne, Namioka and Rogers. We show that if $C(K_1)$ has a pointwise Kadec renorming and $K_2$ belongs to the class of spaces obtained by closing the class of compact metrizable spaces under inverse limits of transfinite continuous sequences of retractions, then $C(K_1\times K_2)$ has a pointwise Kadec renorming. We also prove a version of the three-space property for such renormings.

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.

Stevo Todorcevic

Research overview

Is this your work?

23 publications

A combinatorial property of rho-functions

A Dual Ramsey theorem for trees

Galvin's problem in higher dimensions

The Strength of Menger's Conjecture

Rosenthal compacta that are premetric of finite degree

Suslin trees, the bounding number, and partition relations

Trees and gaps from a construction scheme

Compact spaces of the first Baire class that have open finite degree

Forcing with matrices of countable elementary submodels

A disjoint union theorem for trees

Combinatorial dichotomies and cardinal invariants

A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters

A Ramsey-Classification Theorem and its Application in the Tukey Theory of Ultrafilters

Automatic Ordinals

Finite basis for analytic strong n-gaps

Oscilation stability for continuous monotone surjections

Subsets of Products of Finite Sets of Positive Upper Density

A Hierarchy of Tree-Automatic Structures

Multiple gaps

Tukey types of ultrafilters

Banach spaces and Ramsey Theory: some open problems

The Isomorphism Relation Between Tree-Automatic Structures

Kadec norms on spaces of continuous functions

See the researcher in context

Building this map preview