Showing 1–4 of 4 results for author: Schürz, J P

Cardinal characteristics on $κ$ modulo non-stationary

Authors: Johannes Philipp Schürz

Abstract: For $κ$ regular and uncountable we define variants of the classical cardinal characteristics modulo the non-stationary ideal. For $κ$ regular and uncountable we define variants of the classical cardinal characteristics modulo the non-stationary ideal. △ Less

Submitted 17 May, 2021; originally announced May 2021.

The cofinality of the strong measure zero ideal for $κ$ inaccessible

Authors: Johannes Philipp Schürz

Abstract: We investigate the cofinality of the strong measure zero ideal for $κ$ inaccessible, and show that it is independent of the size of $2^κ$. We investigate the cofinality of the strong measure zero ideal for $κ$ inaccessible, and show that it is independent of the size of $2^κ$. △ Less

Submitted 15 December, 2020; originally announced December 2020.

$ω^ω$-Base and infinite-dimensional compact sets in locally convex spaces

Authors: Taras Banakh, Jerzy Kąkol, Johannes Phillip Schürz

Abstract: A locally convex space (lcs) $E$ is said to have an $ω^ω$-base if $E$ has a neighborhood base $\{U_α:α\inω^ω\}$ at zero such that $U_β\subseteq U_α$ for all $α\leqβ$. The class of lcs with an $ω^ω$-base is large, among others contains all $(LM)$-spaces (hence $(LF)$-spaces), strong duals of distinguished Fréchet lcs (hence spaces of distributions $D'(Ω)$). A remarkable result of Cascales-Orihuela… ▽ More A locally convex space (lcs) $E$ is said to have an $ω^ω$-base if $E$ has a neighborhood base $\{U_α:α\inω^ω\}$ at zero such that $U_β\subseteq U_α$ for all $α\leqβ$. The class of lcs with an $ω^ω$-base is large, among others contains all $(LM)$-spaces (hence $(LF)$-spaces), strong duals of distinguished Fréchet lcs (hence spaces of distributions $D'(Ω)$). A remarkable result of Cascales-Orihuela states that every compact set in a lcs with an $ω^ω$-base is metrizable. Our main result shows that every uncountable-dimensional lcs with an $ω^ω$-base contains an infinite-dimensional metrizable compact subset. On the other hand, the countable-dimensional space $\varphi$ endowed with the finest locally convex topology has an $ω^ω$-base but contains no infinite-dimensional compact subsets. It turns out that $\varphi$ is a unique infinite-dimensional locally convex space which is a $k_{\mathbb{R}}$-space containing no infinite-dimensional compact subsets. Applications to spaces $C_{p}(X)$ are provided. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible

Authors: Nick Steven Chapman, Johannes Philipp Schürz

Abstract: We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^κ$ for $κ$ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of \[ |2^κ| = κ^{++} + \forall X \subseteq 2^κ:\ X \text{ is strong measure zero if and only if } |X| \leq κ^+. \] Furthermore, we also investigate the stronger notion of stat… ▽ More We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^κ$ for $κ$ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of \[ |2^κ| = κ^{++} + \forall X \subseteq 2^κ:\ X \text{ is strong measure zero if and only if } |X| \leq κ^+. \] Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence of the two notions is undecidable in ZFC. △ Less

Submitted 12 December, 2023; v1 submitted 28 August, 2019; originally announced August 2019.