Showing 1–28 of 28 results for author: Hrusak, M

Some combinatorial properties of semiselective ideals

Authors: Julián C. Cano, Carlos A. Di Prisco, Michael Hrušák

Abstract: We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective ideals this is not the case. We prove that under certain hypothesis, for example $V=L$, there are semiselective ideals whose complement does not contain a selectiv… ▽ More We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective ideals this is not the case. We prove that under certain hypothesis, for example $V=L$, there are semiselective ideals whose complement does not contain a selective ultrafilter, and that it is also consistent that the complement of every semiselective ideal contains a selective ultrafilter; specifically, we show that if $V=L$ then there is a generic extension of $V$ where this occurs. We present other results concerning semiselective ideals, namely an alternative proof of Ellentuck's theorem for the local Ramsey property, and we prove some facts about the additivity of the ideal of local Ramsey null sets, and also about the generalized Suslin operation on the algebra of local Ramsey sets. △ Less

Submitted 21 June, 2023; originally announced June 2023.

MSC Class: 03E05; 03E35; 05D10

More Ramsey theory for highly connected monochromatic subgraphs

Authors: Michael Hrušák, Saharon Shelah, **g Zhang

Abstract: An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and… ▽ More An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and Shelah are answered by showing that assuming the consistency of suitable large cardinals the following are relatively consistent with $\mathsf{ZFC}$: $κ\to_{hc} (κ)^2_ω$ for every regular cardinal $κ\geq \aleph_2$ and $\neg\mathsf{CH}+ \aleph_2 \to_{hc} (\aleph_1)^2_ω$. Building on a work of Lambie-Hanson, we also show that $\aleph_2 \to_{hc} [\aleph_2]^2_{ω,2}$ is consistent with $\neg\mathsf{CH}$. To prove these results, we use the existence of ideals with strong combinatorial properties after collapsing suitable large cardinals. △ Less

Submitted 11 November, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: Number 1242 on Shelah's publication list. 18 pages

Almost disjoint families and the geometry of nonseparable spheres

Authors: Osvaldo Guzmán, Michael Hrušák, Piotr Koszmider

Abstract: We consider uncountable almost disjoint families of subsets of $\mathbb N$, the Johnson-Lindenstrauss Banach spaces $(\mathcal X_{\mathcal A}, \|\ \|_\infty)$ induced by them, and their natural equivalent renormings $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$. We introduce a partial order $\mathbb P_{\mathcal A}$ and characterize some geometric properties of the spheres of… ▽ More We consider uncountable almost disjoint families of subsets of $\mathbb N$, the Johnson-Lindenstrauss Banach spaces $(\mathcal X_{\mathcal A}, \|\ \|_\infty)$ induced by them, and their natural equivalent renormings $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$. We introduce a partial order $\mathbb P_{\mathcal A}$ and characterize some geometric properties of the spheres of $(\mathcal X_{\mathcal A}, \|\ \|_{\infty})$ and of $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$ in terms of combinatorial properties of $\mathbb P_{\mathcal A}$. Exploiting the extreme behavior of some known and some new almost disjoint families among others we show the existence of Banach spaces where the unit spheres display surprising geometry: 1) There is a Banach space of density continuum whose unit sphere is the union of countably many sets of diameters strictly less than $1$. 2) It is consistent that for every $ρ>0$ there is a nonseparable Banach space, where for every $δ>0$ there is $\varepsilon>0$ such that every uncountable $(1-\varepsilon)$-separated set of elements of the unit sphere contains two elements distant by less than $1$ and two elements distant at least by $2-ρ-δ$. It should be noted that for every $\varepsilon>0$ every nonseparable Banach space has a plenty of uncountable $(1-\varepsilon)$-separated sets by the Riesz Lemma. We also obtain a consistent dichotomy for the spaces of the form $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$: The Open Coloring Axiom implies that the unit sphere of every Banach space of the form $(\mathcal X_{\mathcal A}, \|\ \|_{\infty, 2})$ either is the union of countably many sets of diameter strictly less than $1$ or it contains an uncountable $(2-\varepsilon)$-separated set for every $\varepsilon>0$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

Combinatorial properties of MAD families

Authors: Jörg Brendle, Osvaldo Guzmán, Michael Hrušák, Dilip Raghavan

Abstract: We study some strong combinatorial properties of $\textsf{MAD}$ families. An ideal $\mathcal{I}$ is Shelah-Steprāns if for every set $X\subseteq{\left[ ω\right]}^{<ω}$ there is an element of $\mathcal{I}$ that either intersects every set in $X$ or contains infinitely many members of it. We prove that a Borel ideal is Shelah-Steprāns if and only if it is Katětov above the ideal… ▽ More We study some strong combinatorial properties of $\textsf{MAD}$ families. An ideal $\mathcal{I}$ is Shelah-Steprāns if for every set $X\subseteq{\left[ ω\right]}^{<ω}$ there is an element of $\mathcal{I}$ that either intersects every set in $X$ or contains infinitely many members of it. We prove that a Borel ideal is Shelah-Steprāns if and only if it is Katětov above the ideal $\textsf{fin}\times\textsf{fin}$. We prove that Shelah-Steprāns $\textsf{MAD}$ families have strong indestructibility properties (in particular, they are both Cohen and random indestructible). We also consider some other strong combinatorial properties of $\textsf{MAD}$ families. Finally, it is proved that it is consistent to have $\mathrm{non}(\mathcal{M}) = {\aleph}_{1}$ and no Shelah-Steprāns families of size ${\aleph}_{1}$. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 43 pages. Submitted. arXiv admin note: text overlap with arXiv:1810.09680

Invariant Ideal Axiom

Authors: Michael Hrušák, Alexander Shibakov

Abstract: We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products. We also construct examples that demonstrate the optimality of the conditions in \IIA, and list a number of… ▽ More We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products. We also construct examples that demonstrate the optimality of the conditions in \IIA, and list a number of open questions. △ Less

Submitted 6 April, 2022; originally announced April 2022.

MSC Class: 22A05; 03C20; 03E05; 03E35; 54H11

HL ideals and Sacks indestructible ultrafilters

Authors: David Chodounský, Osvaldo Guzmán, Michael Hrušák

Abstract: We study ultrafilters on countable sets and rea** families which are indestructible by Sacks forcing. We deal with the combinatorial characterization of such families and we prove that every rea** family of size smaller than the continuum is Sacks indestructible. We prove that complements of many definable ideals are Sacks rea** indestructible, with one notable exception, the complement of t… ▽ More We study ultrafilters on countable sets and rea** families which are indestructible by Sacks forcing. We deal with the combinatorial characterization of such families and we prove that every rea** family of size smaller than the continuum is Sacks indestructible. We prove that complements of many definable ideals are Sacks rea** indestructible, with one notable exception, the complement of the ideal $\mathcal Z$ of sets of asymptotic density zero. We investigate the existence of Sacks indestructible ultrafilters and prove that every Sacks indestructible ultrafilter is a $\mathcal Z$-ultrafilter. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Conjugacy classes of big map** class groups

Authors: Jesús Hernández Hernández, Michael Hrušák, Israel Morales, Anja Randecker, Manuel Sedano, Ferrán Valdez

Abstract: We describe the topological behavior of the conjugacy action of the map** class group of an orientable infinite-type surface $Σ$ on itself. Our main results are: (1) All conjugacy classes of $MCG(Σ)$ are meager for every $Σ$, (2) $MCG(Σ)$ has a somewhere dense conjugacy class if and only if $Σ$ has at most two maximal ends and no non-displaceable finite-type subsurfaces, (3) $MCG(Σ)$ has a… ▽ More We describe the topological behavior of the conjugacy action of the map** class group of an orientable infinite-type surface $Σ$ on itself. Our main results are: (1) All conjugacy classes of $MCG(Σ)$ are meager for every $Σ$, (2) $MCG(Σ)$ has a somewhere dense conjugacy class if and only if $Σ$ has at most two maximal ends and no non-displaceable finite-type subsurfaces, (3) $MCG(Σ)$ has a dense conjugacy class if and only if $Σ$ has a unique maximal end and no non-displaceable finite-type subsurfaces. Our techniques are based on model-theoretic methods developed by Kechris, Rosendal and Truss. △ Less

Submitted 18 November, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: v3. Corrected version after revision. To appear in J. London Math. Soc

MSC Class: 37E30; 20F65; 57M60

Simutaneously vanishing higher derived limits without large cardinals

Authors: Jeffrey Bergfalk, Michael Hrušák, Chris Lambie-Hanson

Abstract: A question dating to Sibe Mardešić and Andrei Prasolov's 1988 work Strong homology is not additive, and motivating a considerable amount of set theoretic work in the ensuing years, is that of whether it is consistent with the ZFC axioms for the higher derived limits $\mathrm{lim}^n$ $(n>0)$ of a certain inverse system $\mathbf{A}$ indexed by ${^ω}ω$ to simultaneously vanish. An equivalent formulat… ▽ More A question dating to Sibe Mardešić and Andrei Prasolov's 1988 work Strong homology is not additive, and motivating a considerable amount of set theoretic work in the ensuing years, is that of whether it is consistent with the ZFC axioms for the higher derived limits $\mathrm{lim}^n$ $(n>0)$ of a certain inverse system $\mathbf{A}$ indexed by ${^ω}ω$ to simultaneously vanish. An equivalent formulation of this question is that of whether it is consistent for all $n$-coherent families of functions indexed by ${^ω}ω$ to be trivial. In this paper, we prove that, in any forcing extension given by adjoining $\beth_ω$-many Cohen reals, $\mathrm{lim}^n \mathbf{A}$ vanishes for all $n > 0$. Our proof involves a detailed combinatorial analysis of the forcing extension and repeated applications of higher dimensional $Δ$-system lemmas. This work removes all large cardinal hypotheses from the main result of arXiv:1907.11744 and substantially reduces the least value of the continuum known to be compatible with the simultaneous vanishing of $\mathrm{lim}^n \mathbf{A}$ for all $n > 0$. △ Less

Submitted 12 February, 2021; originally announced February 2021.

Comments: 30 pages, 1 figure

MSC Class: 03E35; 03E75; 18E25; 55N07

Tukey order among $F_σ$ ideals

Authors: Jialiang He, Michael Hrušák, Diego Rojas-Rebolledo, Sławomir Solecki

Abstract: We investigate the Tukey order in the class of $F_σ$ ideals of subsets of $ω$. We show that no nontrivial $F_σ$ ideal is Tukey below a $G_δ$ ideal of compact sets. We introduce the notions of flat ideals and gradually flat ideals. We prove a dichotomy theorem for flat ideals isolating gradual flatness as the side of the dichotomy that is structurally good. We give diverse characterizations of grad… ▽ More We investigate the Tukey order in the class of $F_σ$ ideals of subsets of $ω$. We show that no nontrivial $F_σ$ ideal is Tukey below a $G_δ$ ideal of compact sets. We introduce the notions of flat ideals and gradually flat ideals. We prove a dichotomy theorem for flat ideals isolating gradual flatness as the side of the dichotomy that is structurally good. We give diverse characterizations of gradual flatness among flat ideals using Tukey reductions and games. For example, we show that gradually flat ideals are precisely those flat ideals that are Tukey below the ideal of density zero sets. △ Less

Submitted 16 March, 2021; v1 submitted 25 November, 2020; originally announced November 2020.

MSC Class: 03E15; 03E05; 06A07

Petr Simon (1944-2018)

Authors: K. P. Hart, M. Hrusak, J. L. Verner

Abstract: This article is a reflection on the mathematical legacy of Professor Petr Simon. This article is a reflection on the mathematical legacy of Professor Petr Simon. △ Less

Submitted 15 September, 2020; originally announced September 2020.

MSC Class: 01A70 03E05 03E17 03E35 03E50 03E75 06E05 04E10 06E15A 54A05 54A20 54A25 54A35 54B10 54C15 54C30 54D15 54D20 54D30 54D35 54D40 54D55 54D80 54E17

Journal ref: Topology and its Applications 285 (2020) 107391

Countably compact groups without non-trivial convergent sequences

Authors: Michael Hrušák, Jan van Mill, Ulises Ariet Ramos-García, Saharon Shelah

Abstract: We construct, in $\mathsf{ZFC}$, a countably compact subgroup of $2^{\mathfrak{c}}$ without non-trivial convergent sequences, answering an old problem of van Douwen. As a consequence we also prove the existence of two countably compact groups $\mathbb{G}_{0}$ and $\mathbb{G}_{1}$ such that the product $\mathbb{G}_{0} \times \mathbb{G}_{1}$ is not countably compact, thus answering a classical probl… ▽ More We construct, in $\mathsf{ZFC}$, a countably compact subgroup of $2^{\mathfrak{c}}$ without non-trivial convergent sequences, answering an old problem of van Douwen. As a consequence we also prove the existence of two countably compact groups $\mathbb{G}_{0}$ and $\mathbb{G}_{1}$ such that the product $\mathbb{G}_{0} \times \mathbb{G}_{1}$ is not countably compact, thus answering a classical problem of Comfort. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 21 pages, to be published in Transactions of the American Mathematical Society

Report number: Sh: 1173 MSC Class: 22A05; 03C20 (Primary) 03E05; 54H11 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 374 (2021), 1277-1296

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

Strong measure zero in Polish groups

Authors: Michael Hrušák, Ondřej Zindulka

Abstract: The notion of strong measure zero is studied in the context of Polish groups. In particular, the extent to which the theorem of Galvin, Mycielski and Solovay holds in the context of an arbitrary Polish group is studied. Hausdorff measure and dimension is used to characterize strong measure zero. The products of strong measure zero sets are examined. Sharp measure zero, a notion stronger that stron… ▽ More The notion of strong measure zero is studied in the context of Polish groups. In particular, the extent to which the theorem of Galvin, Mycielski and Solovay holds in the context of an arbitrary Polish group is studied. Hausdorff measure and dimension is used to characterize strong measure zero. The products of strong measure zero sets are examined. Sharp measure zero, a notion stronger that strong measure zero, is shown to be related to meageradditive sets in the Cantor set and Polish groups by a theorem very similar to the theorem of Galvin, Mycielski and Solovay. △ Less

Submitted 9 November, 2019; originally announced November 2019.

MSC Class: 03E17; 22B05; 22A10; 54E53; 54E52

On $\mathbb R$-embeddability of almost disjoint families and Akemann-Doner C*-algebras

Authors: Osvaldo Guzmán, Michael Hrušák, Piotr Koszmider

Abstract: An almost disjoint family $\mathcal A$ of subsets of $\mathbb N$ is said to be $\mathbb R$-embeddable if there is a function $f:\mathbb N\rightarrow \mathbb R$ such that the sets $f[A]$ are ranges of real sequences converging to distinct reals for distinct $A\in \mathcal A$. It is well known that almost disjoint families which have few separations, such as Luzin families, are not $\mathbb R$-embed… ▽ More An almost disjoint family $\mathcal A$ of subsets of $\mathbb N$ is said to be $\mathbb R$-embeddable if there is a function $f:\mathbb N\rightarrow \mathbb R$ such that the sets $f[A]$ are ranges of real sequences converging to distinct reals for distinct $A\in \mathcal A$. It is well known that almost disjoint families which have few separations, such as Luzin families, are not $\mathbb R$-embeddable. We study extraction principles related to $\mathbb R$-embeddability and separation properties of almost disjoint families of $\mathbb N$ as well as their limitations. An extraction principle whose consistency is our main result is: every almost disjoint family of size continuum contains an $\mathbb R$-embeddable subfamily of size continuum. It is true in the Sacks model. The Cohen model serves to show that the above principle does not follow from the fact that every almost disjoint family of size continuum has two separated subfamilies of size continuum. We also construct in ZFC an almost disjoint family, where no two uncountable subfamilies can be separated but always a countable subfamily can be separated from any disjoint subfamily. Using a refinement of the $\mathbb R$-embeddability property called a controlled $\mathbb R$-embedding property we obtain the following results concerning Akemann-Doner C*-algebras which are induced by uncountable almost disjoint families: a) In ZFC there are Akemann-Doner C*-algebras of density $\mathfrak c$ with no commutative subalgebras of density $\mathfrak c$, b) It is independent from ZFC whether there is an Akemann-Doner algebra of density $\mathfrak c$ with no nonseparable commutative subalgebra. This completes an earlier result that there is in ZFC an Akemann-Doner algebra of density $ω_1$ with no nonseparable commutative subalgebra. △ Less

Submitted 2 January, 2019; originally announced January 2019.

Ramsey theory for highly connected monochromatic subgraphs

Authors: Jeffrey Bergfalk, Michael Hrušák, Saharon Shelah

Abstract: An infinite graph is highly connected if the complement of any subgraph of smaller size is connected. We consider weaker versions of Ramsey's Theorem asserting that in any coloring of the edges of a complete graph there exist large highly connected subgraphs all of whose edges are colored by the same color. An infinite graph is highly connected if the complement of any subgraph of smaller size is connected. We consider weaker versions of Ramsey's Theorem asserting that in any coloring of the edges of a complete graph there exist large highly connected subgraphs all of whose edges are colored by the same color. △ Less

Submitted 15 December, 2018; originally announced December 2018.

Comments: 11 pages

MSC Class: 03E02; 03E10

Countable dense homogeneity and $λ$-sets

Authors: Rodrigo Hernández-Gutiérrez, Michael Hrušák, Jan van Mill

Abstract: We show that all sufficiently nice $λ$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $κ\le \mathfrak{b}$ there is a countable dense homogeneous metric space of size $κ$. Moreover, the existence of a meager in itself countable dense homogeneous metric space of size $κ$ is equivalent to the existence of a $λ$-set of size $κ$. On… ▽ More We show that all sufficiently nice $λ$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $κ\le \mathfrak{b}$ there is a countable dense homogeneous metric space of size $κ$. Moreover, the existence of a meager in itself countable dense homogeneous metric space of size $κ$ is equivalent to the existence of a $λ$-set of size $κ$. On the other hand, it is consistent with the continuum arbitrarily large that every $\mathsf{CDH}$ metric space has size either $ω_1$ or size $\mathfrak c$. An example of a Baire $\mathsf{CDH}$ metric space which is not completely metrizable is presented. Finally, answering a question of Arhangel'skii and van Mill we show that that there is a compact non-metrizable $\mathsf{CDH}$ space in ZFC. △ Less

Submitted 18 September, 2018; originally announced September 2018.

MSC Class: 54H05; 03E15; 54E50

Journal ref: Fund. Math. 226 (2014) 157-172

Non-meager $P$-filters are Countable Dense Homogeneous

Authors: Rodrigo Hernández-Gutiérrez, Michael Hrušák

Abstract: We prove that if $\mathcal{F}$ is a non-meager $P$-filter, then both $\mathcal{F}$ and ${}^ω\mathcal{F}$ are countable dense homogeneous spaces. We prove that if $\mathcal{F}$ is a non-meager $P$-filter, then both $\mathcal{F}$ and ${}^ω\mathcal{F}$ are countable dense homogeneous spaces. △ Less

Submitted 18 September, 2018; originally announced September 2018.

MSC Class: 54D80; 54H05; 54B10; 54A35

Journal ref: Colloq. Math. 130 (2013), 281-289

Spaces of Remote Points

Authors: Rodrigo Hernández-Gutiérrez, Michael Hrušák, Angel Tamariz-Mascarúa

Abstract: Given a Tychonoff space $X$, let $\varrho(X)$ be the set of remote points of $X$. We view $\varrho(X)$ as a topological space. In this paper we assume that $X$ is metrizable and ask for conditions on $Y$ so that $\varrho(X)$ is homeomorphic to $\varrho(Y)$. This question has been studied before by R. G. Woods and C. Gates. We give some results of the following type: if $X$ has topological property… ▽ More Given a Tychonoff space $X$, let $\varrho(X)$ be the set of remote points of $X$. We view $\varrho(X)$ as a topological space. In this paper we assume that $X$ is metrizable and ask for conditions on $Y$ so that $\varrho(X)$ is homeomorphic to $\varrho(Y)$. This question has been studied before by R. G. Woods and C. Gates. We give some results of the following type: if $X$ has topological property $\mathbf{P}$ and $\varrho(X)$ is homeomorphic to $\varrho(Y)$, then $Y$ also has $\mathbf{P}$. We also characterize the remote points of the rationals and irrationals up to some restrictions. Further, we show that $\varrho(X)$ and $\varrho(Y)$ have open dense homeomorphic subspaces if $X$ and $Y$ are both nowhere locally compact, completely metrizable and share the same cellular type, a cardinal invariant we define. △ Less

Submitted 18 September, 2018; originally announced September 2018.

MSC Class: 54D35; 54D40; 54G05; 54E50; 54E52; 54E18

Journal ref: Top. Applications 159, 13 (2012), 3002-301

No minimal tall Borel ideal in the Katětov order

Authors: Jan Grebík, Michael Hrušák

Abstract: Answering a question of the second listed author we show that there is no tall Borel ideal minimal among all tall Borel ideals in the Katětov order. Answering a question of the second listed author we show that there is no tall Borel ideal minimal among all tall Borel ideals in the Katětov order. △ Less

Submitted 17 August, 2017; originally announced August 2017.

MSC Class: 03E05; 03E15; 03E17

A parametrized diamond principle and union ultrafilters

Authors: David Fernández-Bretón, Michael Hrušák

Abstract: We consider a cardinal invariant closely related to Hindman's theorem. We prove that this cardinal invariant is small in the iterated Sacks perfect set forcing model, and that its corresponding parametrized diamond principle implies the existence of union ultrafilters. As a corollary, this establishes the existence of union ultrafilters in the iterated Sacks model of Set Theory. We consider a cardinal invariant closely related to Hindman's theorem. We prove that this cardinal invariant is small in the iterated Sacks perfect set forcing model, and that its corresponding parametrized diamond principle implies the existence of union ultrafilters. As a corollary, this establishes the existence of union ultrafilters in the iterated Sacks model of Set Theory. △ Less

Submitted 9 October, 2017; v1 submitted 2 June, 2017; originally announced June 2017.

Comments: 13 pages; final version as accepted for publication in Colloquium Mathematicum

MSC Class: 03E35 (Primary); 03E65; 03E17; 54D80 (Secondary)

Journal ref: Colloquium Mathematicum 153 no. 2 (2018), 261-271

Gruff Ultrafilters

Authors: David Fernández-Bretón, Michael Hrušák

Abstract: We investigate the question of whether $\mathbb Q$ carries an ultrafilter generated by perfect sets (such ultrafilters were called gruff ultrafilters by van Douwen). We prove that one can (consistently) obtain an affirmative answer to this question in three different ways: by assuming a certain parametrized diamond principle, from the cardinal invariant equality $\mathfrak d=\mathfrak c$, and in t… ▽ More We investigate the question of whether $\mathbb Q$ carries an ultrafilter generated by perfect sets (such ultrafilters were called gruff ultrafilters by van Douwen). We prove that one can (consistently) obtain an affirmative answer to this question in three different ways: by assuming a certain parametrized diamond principle, from the cardinal invariant equality $\mathfrak d=\mathfrak c$, and in the Random real model. [Edit: replace "the Randor real model" with "the model obtained by adding $ω_1$ Cohen reals to a model of $\mathsf{CH}$, and subsequently forcing with the Random algebra"; this is clarified in the corrigendum attached at the end of the paper.] △ Less

Submitted 1 October, 2017; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: 12 pages + 1 extra page at the end with a corrigendum concerning Theorems 4.2 and 4.3, please refer to this corrigendum before citing said theorems

MSC Class: 03E75 (Primary); 54A35; 03E35; 03E17; 54F05 (Secondary)

Journal ref: Topology and its Applications 210 (2016), 355-365 (article); Topology and its Applications 231 (2017), 430-431 (corrigendum)

Mathias--Prikry and Laver type forcing; Summable ideals, coideals, and $+$-selective filters

Authors: David Chodounský, Osvaldo Guzmán, Michael Hrušák

Abstract: We study the Mathias--Prikry and the Laver type forcings associated with filters and coideals. We isolate a crucial combinatorial property of Mathias reals, and prove that Mathias--Prikry forcings with summable ideals are all mutually bi-embeddable. We show that Mathias forcing associated with the complement of an analytic ideal always adds a dominating real. We also characterize filters for which… ▽ More We study the Mathias--Prikry and the Laver type forcings associated with filters and coideals. We isolate a crucial combinatorial property of Mathias reals, and prove that Mathias--Prikry forcings with summable ideals are all mutually bi-embeddable. We show that Mathias forcing associated with the complement of an analytic ideal always adds a dominating real. We also characterize filters for which the associated Mathias--Prikry forcing does not add eventually different reals, and show that they are countably generated provided they are Borel. We give a characterization of $ω$-hitting and $ω$-splitting families which retain their property in the extension by a Laver type forcing associated with a coideal. △ Less

Submitted 11 February, 2016; v1 submitted 10 January, 2015; originally announced January 2015.

Comments: updated version

MSC Class: 03E05; 03E17; 03E35

Base Tree Property

Authors: Bohuslav Balcar, Michal Doucha, Michael Hrušák

Abstract: Building on previous work of [BPS] we investigate $σ$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $σ$-closed partial order of size continuum has a base tree and that (2) $σ$-closed forcing notions of density $\mathfrak c$ correspond exactly to regular suborders of the collapsing algebra… ▽ More Building on previous work of [BPS] we investigate $σ$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $σ$-closed partial order of size continuum has a base tree and that (2) $σ$-closed forcing notions of density $\mathfrak c$ correspond exactly to regular suborders of the collapsing algebra $Coll(ω_1, 2^ω)$. We further study some naturally ocurring examples of such partial orders. △ Less

Submitted 3 March, 2013; v1 submitted 14 November, 2012; originally announced November 2012.

Properties of functions with monotone graphs

Authors: Ondřej Zindulka, Michael Hrušák, Tamás Mátrai, Aleš Nekvinda, Václav Vlasák

Abstract: A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It is shown, e.g., that such a function can be almost nowhere differentiable, but must be differentiable at a dense set, and that Hausdorff dimension of the graph o… ▽ More A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It is shown, e.g., that such a function can be almost nowhere differentiable, but must be differentiable at a dense set, and that Hausdorff dimension of the graph of such a function is 1. △ Less

Submitted 6 October, 2012; originally announced October 2012.

MSC Class: 26A24; 26A27; 26A46

Parametrized $\diamondsuit$ principles

Authors: Justin Tatch Moore, Michael Hrušák, Mirna Džamonja

Abstract: We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and $\diamond$ in models such as those of… ▽ More We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and $\diamond$ in models such as those of Laver, Miller, and Sacks. △ Less

Submitted 25 August, 2006; originally announced August 2006.

MSC Class: 03E17; 03E65

Journal ref: Transactions of the American Mathematical Society, vol. 356 (2004), pg. 2281-2306

Forcing with quotients

Authors: Michael Hrusak, **drich Zapletal

Abstract: We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal. We study an extensive connection between factor forcings of Borel subsets of Polish spaces modulo a sigma-ideal, and factor forcings of subsets of countable sets modulo an ideal. △ Less

Submitted 10 July, 2004; originally announced July 2004.

Comments: 20 pages

MSC Class: 03E40; 03E15

Countable dense homogeneity of definable spaces

Authors: Michael Hrusak, Beatriz Zamora Aviles

Abstract: We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a Borel X subset of 2^omega the following are equivalent: (1) X is G_delta in 2^omega, (2) X^omega is CDH and (3) X^omega is homeomorphic to 2^omega or to omega^o… ▽ More We investigate which definable separable metric spaces are countable dense homogeneous (CDH). We prove that a Borel CDH space is completely metrizable and give a complete list of zero-dimensional Borel CDH spaces. We also show that for a Borel X subset of 2^omega the following are equivalent: (1) X is G_delta in 2^omega, (2) X^omega is CDH and (3) X^omega is homeomorphic to 2^omega or to omega^omega. Assuming the Axiom of Projective Determinacy the results extend to all projective sets and under the Axiom of Determinacy to all separable metric spaces. In particular, modulo large cardinal assumption it is relatively consistent with ZF that all CDH separable metric spaces are completely metrizable. We also answer a question of Steprans and Zhou by showing that the cardinal p = min{kappa: 2^kappa is not CDH}. △ Less

Submitted 26 February, 2004; originally announced February 2004.

Comments: 8 pages

MSC Class: 54E52; 54H05; 03E15

Journal ref: Proc. Amer. Math. Soc. 133 (2005), no. 11, 3429--3435

Embeddings into P(N)/fin and extension of automorphisms

Authors: A. Bella, A. Dow, K. P. Hart, M. Hrusak, J. van Mill, P. Ursino

Abstract: Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended. Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended. △ Less

Submitted 13 December, 2001; originally announced December 2001.

MSC Class: 06E99; 03E35; 03E50; 54G05