Showing 1–50 of 59 results for author: Todorčević, S

On Big Ramsey degrees of universal $ω$-edge-labeled hypergraphs

Authors: Jan Hubička, Matěj Konečný, Stevo Todorcevic, Andy Zucker

Abstract: We show that the big Ramsey degrees of every countable universal $u$-uniform $ω$-edge-labeled hypergraph are infinite for every $u\geq 2$. Together with a recent result of Braunfeld, Chodounský, de Rancourt, Hubička, Kawach, and Konečný this finishes full characterisation of unrestricted relational structures with finite big Ramsey degrees. We show that the big Ramsey degrees of every countable universal $u$-uniform $ω$-edge-labeled hypergraph are infinite for every $u\geq 2$. Together with a recent result of Braunfeld, Chodounský, de Rancourt, Hubička, Kawach, and Konečný this finishes full characterisation of unrestricted relational structures with finite big Ramsey degrees. △ Less

Submitted 31 May, 2025; v1 submitted 28 May, 2025; originally announced May 2025.

Comments: 6 pages, 1 figure, accepted to Eurocomb 2025. Minor revision with updated citations and introduction

MSC Class: 05C55; 03E02; 05D10; 05C15 ACM Class: G.2.1

Dense metrizable subspaces in powers of Corson compacta

Authors: Arkady Leiderman, Santi Spadaro, Stevo Todorcevic

Abstract: We characterize when the countable power of a Corson compactum has a dense metrizable subspace and construct consistent examples of Corson compacta whose countable power does not have a dense metrizable subspace. We also give several remarks about ccc Corson compacta and, as a byproduct, we obtain a new proof of Kunen and van Mill's characterization of when a Corson compactum supporting a strictly… ▽ More We characterize when the countable power of a Corson compactum has a dense metrizable subspace and construct consistent examples of Corson compacta whose countable power does not have a dense metrizable subspace. We also give several remarks about ccc Corson compacta and, as a byproduct, we obtain a new proof of Kunen and van Mill's characterization of when a Corson compactum supporting a strictly positive measure is metrizable. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 3177--3187

Higher Dimensional Chain Conditions

Authors: Stevo Todorcevic, Jing Zhang

Abstract: We investigate higher dimensional chain conditions, where the largeness notion is given by Fubini products of a given ideal. From strong saturation properties of an ideal, we derive abstractly versions of higher dimensional $Δ$-system lemma, which imply many posets, including any finite support iteration of $σ$-centered posets and measure algebras, satisfy the higher dimensional chain conditions.… ▽ More We investigate higher dimensional chain conditions, where the largeness notion is given by Fubini products of a given ideal. From strong saturation properties of an ideal, we derive abstractly versions of higher dimensional $Δ$-system lemma, which imply many posets, including any finite support iteration of $σ$-centered posets and measure algebras, satisfy the higher dimensional chain conditions. We then show that if a poset satisfies a strengthening of the $σ$-finite chain condition by Horn and Tarski, then it satisfies higher dimensional chain conditions. As an application, we derive Ramsey-theoretic consequences, namely various partition hypotheses as studied by Bannister, Bergfalk, Moore and Todorcevic, from the existence of ideals satisfying strong chain conditions. △ Less

Submitted 14 August, 2024; v1 submitted 17 October, 2023; originally announced October 2023.

Comments: 25 pages

Posets of Copies of Countable Ultrahomogeneous Tournaments

Authors: Miloš S. Kurilić, Stevo Todorčević

Abstract: The poset of copies of a relational structure ${\mathbb X}$ is the partial order ${\mathbb P} ({\mathbb X} ) := \langle \{ Y \subset X: {\mathbb Y} \cong {\mathbb X}\}, \subset \rangle$ and each similarity of such posets (e.g. isomorphism, forcing equivalence) determines a classification of structures. We consider the countable ultrahomogeneous tournaments: ${\mathbb Q} $ (the rational line),… ▽ More The poset of copies of a relational structure ${\mathbb X}$ is the partial order ${\mathbb P} ({\mathbb X} ) := \langle \{ Y \subset X: {\mathbb Y} \cong {\mathbb X}\}, \subset \rangle$ and each similarity of such posets (e.g. isomorphism, forcing equivalence) determines a classification of structures. We consider the countable ultrahomogeneous tournaments: ${\mathbb Q} $ (the rational line), ${\mathbb S} (2)$ (the circular tournament), and ${\mathbb T} ^\infty$ (the random tournament); as well as the ultrahomogeneous digraphs ${\mathbb S} (3)$, ${\mathbb Q} [{\mathbb I}_n]$, ${\mathbb S} (2)[{\mathbb I}_n]$ and ${\mathbb T} ^\infty [{\mathbb I}_n]$ from Cherlin's list. If ${\mathbb G} _{\mathrm{Rado}}$ (resp. ${\mathbb Q} _n$) denotes the countable homogeneous universal graph (resp. $n$-labeled linear order), it turns out that ${\mathbb P} ({\mathbb T} ^\infty)\cong {\mathbb P} ({\mathbb G}_{\mathrm{Rado}})$ and that ${\mathbb P} ({\mathbb Q} _n)$ densely embeds in ${\mathbb P} ({\mathbb S} (n))$, for $n\in\{ 2,3\}$. Consequently, ${\mathbb B} _{\mathbb X} \cong {\mathrm{ro}}\, ({\mathbb S} \ast π)$, where ${\mathbb S}$ is the Sacks forcing and $1_{\mathbb S} \Vdash "π$ is a separative, atomless and $σ$-closed forcing", whenever ${\mathbb X}$ is a countable structure equimorphic with ${\mathbb Q}$, ${\mathbb Q} _n$, ${\mathbb S} (2)$, ${\mathbb S} (3)$, ${\mathbb Q} [{\mathbb I}_n]$ or ${\mathbb S} (2)[{\mathbb I}_n]$. Also, ${\mathbb B} _{\mathbb X} \cong {\mathrm{ro}}\, ({\mathbb S} \ast π)$, where $1_{\mathbb S} \Vdash "π$ is an $ω$-distributive forcing", whenever ${\mathbb X}$ is a countable graph embedding ${\mathbb G} _{\mathrm{Rado}}$, or a countable tournament embedding ${\mathbb T} ^\infty$, or ${\mathbb X} ={\mathbb T} ^\infty [{\mathbb I}_n]$. △ Less

Submitted 15 October, 2023; originally announced October 2023.

Comments: 14 pages

MSC Class: 03C15; 03C50; 03E40; 06A06

Infinite dimensional sequential compactness: Sequential compactness based on barriers

Authors: Cesar Corral, Osvaldo Guzman, Carlos Lopez-Callejas, Pourya Memarpanahi, Paul Szeptycki, Stevo Todorcevic

Abstract: We introduce a generalization of sequential compactness using barriers on $ω$ extending naturally the notion introduced in [W. Kubiś and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023), {156}--{165}]. We improve results from [C. Corral and O. Guzm{á}n and C. L{ó}pez-Callejas, High dimensional sequential compactness, \emph{Fund. Math.}] by building spaces that ar… ▽ More We introduce a generalization of sequential compactness using barriers on $ω$ extending naturally the notion introduced in [W. Kubiś and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023), {156}--{165}]. We improve results from [C. Corral and O. Guzm{á}n and C. L{ó}pez-Callejas, High dimensional sequential compactness, \emph{Fund. Math.}] by building spaces that are $\mathcal{B}$-sequentially compact but no $\mathcal{C}$-sequentially compact when the barriers $\mathcal{B}$ and $\mathcal{C}$ satisfy certain rank assumption which turns out to be equivalent to a Katětov-order assumption. Such examples are constructed under the assumption $\mathfrak{b} =\mathfrak{c}$. We also exhibit some classes of spaces that are $\mathcal{B}$-sequentially compact for every barrier $\mathcal{B}$, including some classical classes of compact spaces from functional analysis, and as a byproduct we obtain some results on angelic spaces. Finally we introduce and compute some cardinal invariants naturally associated to barriers. △ Less

Submitted 17 December, 2023; v1 submitted 8 September, 2023; originally announced September 2023.

Construction schemes: transferring structures from $ω$ to $ω_1$

Authors: Jorge Antonio Cruz Chapital, Osvaldo Guzmán, Stevo Todorcevic

Abstract: A structural analysis of construction schemes is developed. That analysis is used to give simple and new constructions of combinatorial objects which have been of interest to set theorists and topologists. We then continue the study of capturing axioms associated to construction schemes. From them, we deduce the existence of several uncountable structures which are known to be independent from the… ▽ More A structural analysis of construction schemes is developed. That analysis is used to give simple and new constructions of combinatorial objects which have been of interest to set theorists and topologists. We then continue the study of capturing axioms associated to construction schemes. From them, we deduce the existence of several uncountable structures which are known to be independent from the usual axioms of Set Theory. Lastly, we prove that the capturing axiom $FCA(part)$ is implied by Jensen's $\Diamond$ principle. △ Less

Submitted 15 April, 2023; originally announced April 2023.

Comments: 65 pages

A new small Dowker space

Authors: Assaf Rinot, Roy Shalev, Stevo Todorcevic

Abstract: It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above hypotheses entails the existence of a Dowker space of size $\aleph_1$. It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above hypotheses entails the existence of a Dowker space of size $\aleph_1$. △ Less

Submitted 21 September, 2022; originally announced September 2022.

MSC Class: Primary 03E05; 54G20; Secondary 03E65

A Dual Ramsey theorem for trees

Authors: Stevo Todorcevic, Konstantinos Tyros

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

Submitted 29 July, 2022; originally announced July 2022.

Comments: 37 pages

MSC Class: 05D10

Galvin's problem in higher dimensions

Authors: Dilip Raghavan, Stevo Todorcevic

Abstract: 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 fr… ▽ More 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. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 6 pages, submitted

A combinatorial property of rho-functions

Authors: Dilip Raghavan, Stevo Todorcevic

Abstract: 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. 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. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 7 Pages, submitted

A descriptive approach to higher derived limits

Authors: Nathaniel Bannister, Jeffrey Bergfalk, Justin Tatch Moore, Stevo Todorcevic

Abstract: We present a new aspect of the study of higher derived limits. More precisely, we introduce a complexity measure for the elements of higher derived limits over the directed set $Ω$ of functions from $\mathbb{N}$ to $\mathbb{N}$ and prove that cocycles of this complexity are images of cochains of the roughly the same complexity. In the course of this work, we isolate a partition principle for power… ▽ More We present a new aspect of the study of higher derived limits. More precisely, we introduce a complexity measure for the elements of higher derived limits over the directed set $Ω$ of functions from $\mathbb{N}$ to $\mathbb{N}$ and prove that cocycles of this complexity are images of cochains of the roughly the same complexity. In the course of this work, we isolate a partition principle for powers of directed sets and show that whenever this principle holds, the corresponding derived limit $\mathrm{lim}^n$ is additive; vanishing results for this limit are the typical corollary. The formulation of this partition hypothesis synthesizes and clarifies several recent advances in this area. △ Less

Submitted 19 July, 2023; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: Accepted for publication in the Journal of the European Mathematical Society

MSC Class: 03E05; 18G10 (primary); 03E02; 03E45; 03E75; 55N07 (secondary)

Cofinal types on $ω_2$

Authors: Borisa Kuzeljevic, Stevo Todorcevic

Abstract: In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $\mathcal D_{\aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering… ▽ More In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $\mathcal D_{\aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering of $\mathcal D_{\aleph_2}$. △ Less

Submitted 10 August, 2021; v1 submitted 8 August, 2021; originally announced August 2021.

Ultrafilter selection and Corson compacta

Authors: Robert Bonnet, Wieslaw Kubiś, Stevo Todorčević

Abstract: We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the property is equivalent to the fact that the space of ultrafilters is not Corson compact. We also consider the pointwise topology on a Boolean algebra, proving a res… ▽ More We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the property is equivalent to the fact that the space of ultrafilters is not Corson compact. We also consider the pointwise topology on a Boolean algebra, proving a result on the Lindelöf number in the context of the ultrafilter selection property. Finally, we discuss poset Boolean algebras, interval algebras, and semilattices in the context of ultrafilter selection properties. △ Less

Submitted 12 August, 2022; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: Some corrections and clarifications, 33 pages

MSC Class: Primary: 06E15; 54D30. Secondary: 03G10; 54A25

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 116 (2022), Article number: 178

Aronszajn Free Kurepa Trees

Authors: Hossein Lamei Ramandi, Stevo Todorcevic

Abstract: We consider a transitive relation on the power set of $ω_1$ and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of $ω_1$, then there are Kurepa trees which are not club isomorphic. These maximal subsets of $ω_1$ exist in many known models that are obtained from the constructible u… ▽ More We consider a transitive relation on the power set of $ω_1$ and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of $ω_1$, then there are Kurepa trees which are not club isomorphic. These maximal subsets of $ω_1$ exist in many known models that are obtained from the constructible universe without large cardinal assumptions. For instance, whenever $α_0 \in ω_1$ and $X \subset ω_1$ are such that $ω_1^{\textsc{L}[X \cap α_0]} = ω_1, ω_2^{\textsc{L}[X]} = ω_2$ and $\textsc{V}$ is a semiproper forcing extension of $\textsc{L}[X]$ then $X$ is maximal in $\textsc{V}$. △ Less

Submitted 19 October, 2023; v1 submitted 14 October, 2020; originally announced October 2020.

Can You Take Komjath's Inaccessible Away?

Authors: Hossein Lamei Ramandi, Stevo Todorcevic

Abstract: In this paper we aim to compare Kurepa trees and Aronszajn trees. Moreover, we analyze the affect of large cardinal assumptions on this comparison. Using the the method of walks on ordinals, we will show it is consistent with ZFC that there is a Kurepa tree and every Kurepa tree contains an Aronszajn subtree, if there is an inaccessible cardinal. This is stronger than Komjath's theorem that assert… ▽ More In this paper we aim to compare Kurepa trees and Aronszajn trees. Moreover, we analyze the affect of large cardinal assumptions on this comparison. Using the the method of walks on ordinals, we will show it is consistent with ZFC that there is a Kurepa tree and every Kurepa tree contains an Aronszajn subtree, if there is an inaccessible cardinal. This is stronger than Komjath's theorem that asserts the same consistency from two inaccessible cardinals. Moreover, we prove it is consistent with ZFC that there is a Kurepa tree $T$ such that if $U \subset T$ is a Kurepa tree with the inherited order from $T$, then $U$ has an Aronszajn subtree. This theorem uses no large cardinal assumption. Our last theorem immediately implies the following: assume $\textrm{MA}_{ω_2}$ holds and $ω_2$ is not a Mahlo cardinal in $\textsc{L}$. Then there is a Kurepa tree with the property that every Kurepa subset has an Aronszajn subtree. Our work entails proving a new lemma about Todorcevic's $ρ$ function which might be useful in other contexts. △ Less

Submitted 8 October, 2023; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: 33 pages

An Inconsistent Forcing Axiom at $ω_2$

Authors: Stevo Todorčević, Shihao Xiong

Abstract: We show that the forcing axiom for countably compact, $ω_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of $ω_2$. We show that the forcing axiom for countably compact, $ω_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of $ω_2$. △ Less

Submitted 3 August, 2020; originally announced August 2020.

MSC Class: 03E57(Primary); 03E35; 03E05

An Asplund space with norming Markuševič basis that is not weakly compactly generated

Authors: Petr Hájek, Tommaso Russo, Jacopo Somaglia, Stevo Todorčević

Abstract: We construct an Asplund Banach space $\mathcal{X}$ with a norming Markuševič basis such that $\mathcal{X}$ is not weakly compactly generated. This solves a long-standing open problem from the early nineties, originally due to Gilles Godefroy. En route to the proof, we construct a peculiar example of scattered compact space, that also solves a question due to Wiesław Kubiś and Arkady Leiderman. We construct an Asplund Banach space $\mathcal{X}$ with a norming Markuševič basis such that $\mathcal{X}$ is not weakly compactly generated. This solves a long-standing open problem from the early nineties, originally due to Gilles Godefroy. En route to the proof, we construct a peculiar example of scattered compact space, that also solves a question due to Wiesław Kubiś and Arkady Leiderman. △ Less

Submitted 21 September, 2021; v1 submitted 28 July, 2020; originally announced July 2020.

Journal ref: Adv. Math. 392 (2021), 108041

The Strength of Menger's Conjecture

Authors: Franklin D. Tall, Stevo Todorcevic, Seçil Tokgöz

Abstract: 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 in… ▽ More 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. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: arXiv admin note: text overlap with arXiv:1803.08578

MSC Class: 03E15; 03E35; 03E60; 54A35; 54D20; 54H05

Topological Ramsey spaces of equivalence relations and a dual Ramsey theorem for countable ordinals

Authors: Jamal K. Kawach, Stevo Todorcevic

Abstract: We define a collection of topological Ramsey spaces consisting of equivalence relations on $ω$ with the property that the minimal representatives of the equivalence classes alternate according to a fixed partition of $ω$. To prove the associated pigeonhole principles, we make use of the left-variable Hales-Jewett theorem and its extension to an infinite alphabet. We also show how to transfer the c… ▽ More We define a collection of topological Ramsey spaces consisting of equivalence relations on $ω$ with the property that the minimal representatives of the equivalence classes alternate according to a fixed partition of $ω$. To prove the associated pigeonhole principles, we make use of the left-variable Hales-Jewett theorem and its extension to an infinite alphabet. We also show how to transfer the corresponding infinite-dimensional Ramsey results to equivalence relations on countable limit ordinals (up to a necessary restriction on the set of minimal representatives of the equivalence classes) in order to obtain a dual Ramsey theorem for such ordinals. △ Less

Submitted 12 December, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 18 pages. To appear in Adv. Math

MSC Class: 05D10; 03E05; 03E10

Maximal almost disjoint families and pseudocompactness of hyperspaces

Authors: Osvaldo Guzmán, Michael Hrušák, Vinicius de Oliveira Rodrigues, Stevo Todorčević, Artur Hideyuki Tomita

Abstract: We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maxi… ▽ More We show that all maximal almost disjoint families have pseudocompact Vietoris hyperspace if and only if $\mathsf{MA}_\mathfrak c (\mathcal P(ω)/\mathrm{fin})$ holds. We further study the question whether there is a maximal almost disjoint family whose hyperspace is pseudocompact and prove that consistently such families do not exist \emph{genericaly}, by constructing a consistent example of a maximal almost disjoint family $\mathcal A$ of size less than $\mathfrak c$ whose hyperspace is not pseudocompact. △ Less

Submitted 18 April, 2020; originally announced April 2020.

MSC Class: Primary 54D20; 03E35; Secondary 54D35; 03E17

Compact Sets of Baire Class One Functions and Maximal Almost Disjoint Families

Authors: Haim Horowitz, Stevo Todorcevic

Abstract: We provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions. Inspired by this and related ideas, we then provide a new proof of that there are no maximal almost disjoint families in Solovay's model. We then use the ideas behind this proof to provide an extension of a dichotomy re… ▽ More We provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions. Inspired by this and related ideas, we then provide a new proof of that there are no maximal almost disjoint families in Solovay's model. We then use the ideas behind this proof to provide an extension of a dichotomy result by Rosenthal and by Bourgain, Fremlin and Talagrand to general pointwise bounded functions in Solovay's model. We then show that the same conclusions can be drawn about the model obtained when we add a generic selective ultrafilter to the Solovay model. △ Less

Submitted 14 May, 2019; originally announced May 2019.

Lexicographic products as compact spaces of the first Baire clas

Authors: Antonio Avilés, Stevo Todorcevic

Abstract: We use lexicographic products to give examples of compact spaces of first Baire class functions on a compact metric space that cannot be represented as spaces of functions with countably many discontinuities. We use lexicographic products to give examples of compact spaces of first Baire class functions on a compact metric space that cannot be represented as spaces of functions with countably many discontinuities. △ Less

Submitted 29 August, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: Revised version. A number of mistakes have been corrected

MSC Class: 54D30; 03E15; 26A21; 54H05

Amalgamation and Ramsey properties of $L_p$ spaces

Authors: V. Ferenczi, J. Lopez-Abad, B. Mbombo, S. Todorcevic

Abstract: We study the dynamics of the group of isometries of $L_p$-spaces. In particular, we study the canonical actions of these groups on the space of $δ$-isometric embeddings of finite dimensional subspaces of $L_p(0,1)$ into itself, and we show that for $p \neq 4,6,8,\ldots$ they are $\varepsilon$-transitive provided that $δ$ is small enough. We achieve this by extending the classical equimeasurability… ▽ More We study the dynamics of the group of isometries of $L_p$-spaces. In particular, we study the canonical actions of these groups on the space of $δ$-isometric embeddings of finite dimensional subspaces of $L_p(0,1)$ into itself, and we show that for $p \neq 4,6,8,\ldots$ they are $\varepsilon$-transitive provided that $δ$ is small enough. We achieve this by extending the classical equimeasurability principle of Plotkin and Rudin. We define the central notion of a Fraïssé Banach space which underlies these results and of which the known separable examples are the spaces $L_p(0,1)$, $p \neq 4,6,8,\ldots$ and the Gurarij space. We also give a proof of the Ramsey property of the classes $\{\ell_p^n\}_n$, $p\neq 2,\infty$, viewing it as a multidimensional Borsuk-Ulam statement. We relate this to an arithmetic version of the Dual Ramsey Theorem of Graham and Rothschild as well as to the notion of a spreading vector of Matoušek and Rödl. Finally, we give a version of the Kechris-Pestov-Todorcevic correspondence that links the dynamics of the group of isometries of an approximately ultrahomogeneous space $X$ with a Ramsey property of the collection of finite dimensional subspaces of $X$. △ Less

Submitted 22 April, 2020; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: 56 pages, 1 figure. To appear in Advances in Math

MSC Class: 46A22; 46B04; 05C55 (Primary) 37B05; 46B42; 54H20 ( Secondary)

Proof of a Conjecture of Galvin

Authors: Dilip Raghavan, Stevo Todorcevic

Abstract: We prove that if the set of unordered pairs of real numbers is colored by finitely many colors, there is a set of reals homeomorphic to the rationals whose pairs have at most two colors. Our proof uses large cardinals and it verifies a conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals. We prove that if the set of unordered pairs of real numbers is colored by finitely many colors, there is a set of reals homeomorphic to the rationals whose pairs have at most two colors. Our proof uses large cardinals and it verifies a conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Comments: 22 pages, Submitted

Journal ref: Forum of Mathematics, Pi 8 (2020) e15

On fragmentable compact lines

Authors: Antonio Avilés, Gonzalo Martínez-Cervantes, Grzegorz Plebanek, Stevo Todorcevic

Abstract: We prove that if a compact line is fragmentable, then it is a Radon-Nikodým compact space. We prove that if a compact line is fragmentable, then it is a Radon-Nikodým compact space. △ Less

Submitted 23 June, 2018; originally announced June 2018.

MSC Class: 46B26; 06A5; 54F05

The Open Graph Axiom and Menger's Conjecture

Authors: Franklin D. Tall, Stevo Todorcevic, Seçil Tokgöz

Abstract: Menger conjectured that subsets of $\mathbb R$ with the Menger property must be $σ$-compact. While this is false when there is no restriction on the subsets of $\mathbb R$, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We show that the perfect set version of the Open Graph Axiom for projective sets… ▽ More Menger conjectured that subsets of $\mathbb R$ with the Menger property must be $σ$-compact. While this is false when there is no restriction on the subsets of $\mathbb R$, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We show that the perfect set version of the Open Graph Axiom for projective sets of reals, with consistency strength only an inaccessible cardinal, also implies Menger's conjecture restricted to this family of subsets of $\mathbb R$. △ Less

Submitted 22 March, 2018; originally announced March 2018.

MSC Class: 03E15; 03E35; 03E60; 54A25; 54D20; 54H05 (Primary); 03E45 (Secondary)

A complexity problem for Borel graphs

Authors: Stevo Todorčević, Zoltán Vidnyánszky

Abstract: We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or, equivalently, $\leq 3$) Borel chromatic number form a $\mathbfΣ^1_2$-complete set. This answers a question of Kechris and Marks and strengthens several earlier resu… ▽ More We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or, equivalently, $\leq 3$) Borel chromatic number form a $\mathbfΣ^1_2$-complete set. This answers a question of Kechris and Marks and strengthens several earlier results. △ Less

Submitted 26 May, 2021; v1 submitted 13 October, 2017; originally announced October 2017.

MSC Class: Primary 03E15; Secondary 28A05; 05C15

Homogeneous families on trees and subsymmetric basic sequences

Authors: Christina Brech, Jordi Lopez-Abad, Stevo Todorcevic

Abstract: We study density requirements on a given Banach space that guarantee the existence of subsymmetric basic sequences by extending Tsirelson's well-known space to larger index sets. We prove that for every cardinal $κ$ smaller than the first Mahlo cardinal there is a reflexive Banach space of density $κ$ without subsymmetric basic sequences. As for Tsirelson's space, our construction is based on the… ▽ More We study density requirements on a given Banach space that guarantee the existence of subsymmetric basic sequences by extending Tsirelson's well-known space to larger index sets. We prove that for every cardinal $κ$ smaller than the first Mahlo cardinal there is a reflexive Banach space of density $κ$ without subsymmetric basic sequences. As for Tsirelson's space, our construction is based on the existence of a rich collection of homogeneous families on large index sets for which one can estimate the complexity on any given infinite set. This is used to describe detailedly the asymptotic structure of the spaces. The collections of families are of independent interest and their existence is proved inductively. The fundamental stepping up argument is the analysis of such collections of families on trees. △ Less

Submitted 23 March, 2017; v1 submitted 20 July, 2016; originally announced July 2016.

MSC Class: 03E05; 05D10; 46B15; 46B06; 46B26

Suslin trees, the bounding number, and partition relations

Authors: Dilip Raghavan, Stevo Todorcevic

Abstract: 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… ▽ More 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. △ Less

Submitted 25 February, 2016; originally announced February 2016.

Comments: 17 pages, submitted

MSC Class: 03E02; 03E17; 03E55; 03E50

Trees and gaps from a construction scheme

Authors: Fulgencio Lopez, Stevo Todorcevic

Abstract: 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 ex… ▽ More 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. △ Less

Submitted 14 August, 2016; v1 submitted 3 February, 2016; originally announced February 2016.

Comments: 10 pages, fix errors and added new reference; to appear in Proceedings of the AMS

MSC Class: 03E05; 03E35; 03E65

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

Authors: Antonio Avilés, Stevo Todorcevic

Abstract: 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. 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. △ Less

Submitted 28 December, 2015; originally announced December 2015.

MSC Class: 26A21; 03E15; 05C05; 05D10; 54D30; 54D55; 54H05

Rosenthal compacta that are premetric of finite degree

Authors: Antonio Avilés, Alejandro Poveda, Stevo Todorcevic

Abstract: 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$. 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$. △ Less

Submitted 25 July, 2016; v1 submitted 18 December, 2015; originally announced December 2015.

Forcing with matrices of countable elementary submodels

Authors: Borisa Kuzeljevic, Stevo Todorcevic

Abstract: 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 anticha… ▽ More 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$. △ Less

Submitted 17 August, 2015; v1 submitted 28 March, 2015; originally announced March 2015.

MSC Class: 03E57

Copies of the Random Graph: the 2-localization

Authors: Miloš S. Kurilić, Stevo Todorčević

Abstract: Let $G$ be a countable graph containing a copy of the countable random graph (Erdős-Rényi graph, Rado graph), $Emb (G)$ the monoid of its self-embeddings, ${\mathbb P} (G)=\{f[G]: f\in Emb (G)\}$ the set of copies of $G$ contained in $G$, and ${\mathcal I}_G$ the ideal of subsets of $G$ which do not contain a copy of $G$. We show that the poset $< {\mathbb P} (G), \subset>$, the algebra… ▽ More Let $G$ be a countable graph containing a copy of the countable random graph (Erdős-Rényi graph, Rado graph), $Emb (G)$ the monoid of its self-embeddings, ${\mathbb P} (G)=\{f[G]: f\in Emb (G)\}$ the set of copies of $G$ contained in $G$, and ${\mathcal I}_G$ the ideal of subsets of $G$ which do not contain a copy of $G$. We show that the poset $< {\mathbb P} (G), \subset>$, the algebra $P (G)/{\mathcal I}_G$, and the inverse of the right Green's pre-order $< Emb (G),\preceq ^R >$ have the 2-localization property. The Boolean completions of these pre-orders are isomorphic and satisfy the following law: for each double sequence $[b_{nm}: < n, m > \in ω\times ω]$ of elements of ${\mathbb B}$ $$\textstyle \bigwedge_{n \in ω}\; \bigvee_{m \in ω}\; b_{nm} = \bigvee_{{\mathcal T} \,\in \, Bt ({}^{<ω}ω)}\; \bigwedge_{n \in ω}\; \bigvee_{\varphi \,\in \,{\mathcal T} \cap {}^{n+1}ω}\; \bigwedge_{k\leq n}\; b_{k\varphi (k)}, $$ where $Bt ({}^{<ω}ω)$ denotes the set of all binary subtrees of the tree ${}^{<ω}ω$. △ Less

Submitted 12 November, 2014; originally announced November 2014.

Comments: 17 pages

MSC Class: 03C15; 03C50; 03E40; 05C80; 06A06; 20M20

Journal ref: Ann. Pure Appl. Logic, 167,8 (2016) 649-662

Copies of the Random Graph

Authors: Miloš S. Kurilić, Stevo Todorčević

Abstract: Let $(R, \sim )$ be the Rado graph, $Emb (R)$ the monoid of its self-embeddings, $Π(R)=\{ f[R]: f\in Emb (R)\}$ the set of copies of $R$ contained in $R$, and ${\mathcal I}_R$ the ideal of subsets of $R$ which do not contain a copy of $R$. We consider the poset $( Π(R ), \subset )$, the algebra $P (R)/{\mathcal I _R}$, and the inverse of the right Green's pre-order on $Emb (R)$, and show that thes… ▽ More Let $(R, \sim )$ be the Rado graph, $Emb (R)$ the monoid of its self-embeddings, $Π(R)=\{ f[R]: f\in Emb (R)\}$ the set of copies of $R$ contained in $R$, and ${\mathcal I}_R$ the ideal of subsets of $R$ which do not contain a copy of $R$. We consider the poset $( Π(R ), \subset )$, the algebra $P (R)/{\mathcal I _R}$, and the inverse of the right Green's pre-order on $Emb (R)$, and show that these pre-orders are forcing equivalent to a two step iteration of the form $P \ast π$, where the poset $P$ is similar to the Sacks perfect set forcing: adds a generic real, has the $\aleph _0$-covering property and, hence, preserves $ω_1$, has the Sacks property and does not produce splitting reals, while $π$ codes an $ω$-distributive forcing. Consequently, the Boolean completions of these four posets are isomorphic and the same holds for each countable graph containing a copy of the Rado graph. △ Less

Submitted 23 October, 2014; originally announced October 2014.

Comments: 28 pages

MSC Class: 05C80; 03C15; 03C50; 03E40 (Primary); 06A06; 20M20 (Secondary)

Journal ref: Adv. Math., 317 (2017) 526-552

A disjoint union theorem for trees

Authors: Stevo Todorcevic, Konstantinos Tyros

Abstract: 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. 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. △ Less

Submitted 27 July, 2014; originally announced July 2014.

Comments: 23 pages

MSC Class: 05D10

Combinatorial dichotomies and cardinal invariants

Authors: Dilip Raghavan, Stevo Todorcevic

Abstract: 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 cofi… ▽ More 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$. △ Less

Submitted 24 May, 2013; originally announced May 2013.

Comments: submitted

Oscilation stability for continuous monotone surjections

Authors: Stevo Todorcevic, Konstantinos Tyros

Abstract: 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. 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. △ Less

Submitted 16 November, 2012; originally announced November 2012.

Comments: 12 pages

Subsets of Products of Finite Sets of Positive Upper Density

Authors: Stevo Todorcevic, Konstantinos Tyros

Abstract: 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… ▽ More 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}$. △ Less

Submitted 16 November, 2012; originally announced November 2012.

Comments: 12 pages

Basis problem for analytic multiple gaps

Authors: Antonio Avilés, Stevo Todorcevic

Abstract: A k-gap is a finite k-sequence of pairwise disjoint monotone families of infinite subsets of N mixed in such a way that we cannot find a partition of N such that each family is trival on one piece of the partition. We prove that, relative to the comparison given by restriction to infinite subsets of N, for every positive integer k there is a finite basis for the class of all analytic k-gaps . We a… ▽ More A k-gap is a finite k-sequence of pairwise disjoint monotone families of infinite subsets of N mixed in such a way that we cannot find a partition of N such that each family is trival on one piece of the partition. We prove that, relative to the comparison given by restriction to infinite subsets of N, for every positive integer k there is a finite basis for the class of all analytic k-gaps . We also build the fine structure theory of analytic k-gaps and give some applications. The content of Chapter 1 of this manuscript have been published as: A. Avilés, S. Todorcevic, Finite basis for analytic multiple gaps, Publ. Math. IHES. 121 (2015), 57-79. The content of Chapter 2 (except some technical results from 2.5 and 2.6) and Section 3.1, largely revised and improved, has ben published as: A. Avilés, S. Todorcevic, Types in the n-adic tree and minimal analytic gaps, Adv. Math. 292 (2016), 558-600. The content of Sections 3.4, 4.1 and 4.3 have been published as: A. Avilés, S. Todorcevic, Isolating subgaps of a multiple gap, Monatsh. Math. 186 (2018), 373--392. The rest of contents may appear elsewhere. △ Less

Submitted 1 April, 2025; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: We were informed by Monroe Skew and David Chodounsky that Theorem > 1.1.5 of this manuscript (Theorem 2.5 in "Publ. Math. IHES. 121 > (2015), 57-79.") is incorrect. This affects much of it, except Theorem > 1.3.1 (Theorem 4.1 in that paper). The articles "Adv. Math. 292 > 558-600." and "Monatsh. Math. 186, 373-392" are therefore incorrect. > We are trying to reformulate the theory after this

MSC Class: 03E15; 28A05; 05D10 (Primary) 46B15 (Secondary)

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

Authors: Natasha Dobrinen, Stevo Todorcevic

Abstract: 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… ▽ More 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$. △ Less

Submitted 26 May, 2012; originally announced May 2012.

Comments: 40 pages. arXiv admin note: substantial text overlap with arXiv:1111.6705

MSC Class: 05D10; 03E02; 06A06; 54D80; 03E04; 03E05

Automatic Ordinals

Authors: Olivier Finkel, Stevo Todorcevic

Abstract: 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… ▽ More 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. △ Less

Submitted 8 May, 2012; originally announced May 2012.

Comments: To appear in a Special Issue on New Worlds of Computation 2011 of the International Journal of Unconventional Computing. arXiv admin note: text overlap with arXiv:1111.1504

Journal ref: International Journal of Unconventional Computing 9, 1-2 (2013) 61-70

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

Authors: Natasha Dobrinen, Stevo Todorcevic

Abstract: 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… ▽ More 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. △ Less

Submitted 6 April, 2012; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: To appear in the Transactions of the Mathematical Society. 26 pages

MSC Class: 05D10; 03E02; 06A06; 54D80

Positional graphs and conditional structure of weakly null sequences

Authors: J. Lopez-Abad, S. Todorcevic

Abstract: We prove that, unless assuming additional set theoretical axioms, there are no reflexive space without unconditional sequences of density the continuum. We give for every integer $n$ there are normalized weakly-null sequences of length $\om_n$ without unconditional subsequences. This together with a result of \cite{Do-Lo-To} shows that $\om_ω$ is the minimal cardinal $κ$ that could possibly have t… ▽ More We prove that, unless assuming additional set theoretical axioms, there are no reflexive space without unconditional sequences of density the continuum. We give for every integer $n$ there are normalized weakly-null sequences of length $\om_n$ without unconditional subsequences. This together with a result of \cite{Do-Lo-To} shows that $\om_ω$ is the minimal cardinal $κ$ that could possibly have the property that every weakly null $κ$-sequence has an infinite unconditional basic subsequence . We also prove that for every cardinal number $\ka$ which is smaller than the first $\om$-Erdös cardinal there is a normalized weakly-null sequence without subsymmetric subsequences. Finally, we prove that mixed Tsirelson spaces of uncountable densities must always contain isomorphic copies of either $c_0$ or $\ell_p$, with $p\ge 1$. △ Less

Submitted 22 November, 2011; originally announced November 2011.

MSC Class: 46B03; 03E35 (Primary) 03E02; 03E55; 46B26; 46A35 (Secondary)

A Hierarchy of Tree-Automatic Structures

Authors: Olivier Finkel, Stevo Todorcevic

Abstract: 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$) bool… ▽ More 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]. △ Less

Submitted 7 November, 2011; originally announced November 2011.

Comments: To appear in The Journal of Symbolic Logic. arXiv admin note: substantial text overlap with arXiv:1007.0822

Journal ref: Journal of Symbolic Logic 77, 1 (2012) 350-368

Tukey types of ultrafilters

Authors: Natasha Dobrinen, Stevo Todorcevic

Abstract: 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, emb… ▽ More 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. △ Less

Submitted 18 October, 2011; originally announced October 2011.

Comments: 33 pages, to appear in 2012 in the Illinois Journal of Mathematics

MSC Class: 03E

Finite basis for analytic strong n-gaps

Authors: Antonio Avilés, Stevo Todorcevic

Abstract: 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. 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. △ Less

Submitted 25 November, 2012; v1 submitted 22 December, 2010; originally announced December 2010.

Comments: Revised version

MSC Class: 03E15; 03E99; 05D10

Journal ref: Combinatorica 33 (2013), 375-393

The Isomorphism Relation Between Tree-Automatic Structures

Authors: Olivier Finkel, Stevo Todorcevic

Abstract: 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… ▽ More 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. △ Less

Submitted 6 July, 2010; originally announced July 2010.

Journal ref: Central European Journal of Mathematics 8, 2 (2010) p. 299-313

Banach spaces and Ramsey Theory: some open problems

Authors: Pandelis Dodos, Jordi Lopez-Abad, Stevo Todorcevic

Abstract: 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. 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. △ Less

Submitted 14 June, 2010; originally announced June 2010.

Comments: 17 pages, no figures; RACSAM, to appear

Journal ref: RACSAM 104 (2010), 435-450

Multiple gaps

Authors: Antonio Avilés, Stevo Todorcevic

Abstract: 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. 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. △ Less

Submitted 11 April, 2011; v1 submitted 27 January, 2010; originally announced January 2010.

Comments: Revised version, to appear in Fund. Math

MSC Class: 03E05; 03E15; 03E50; 03E75; 46B26

Journal ref: Fund. Math. 213 (2011) 15-42