English
Related papers

Related papers: Higher Dimensional Cardinal Characteristics for Se…

200 papers

We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that $\Pi_n$-strong cardinals, and, as a corollary, ``Ord is Woodin" and weak Vop\v{e}nka's Principle, are…

Logic · Mathematics 2025-05-22 Will Boney , Jonathan Osinski

The Hausdorff dimension of a product XxY can be strictly greater than that of Y, even when the Hausdorff dimension of X is zero. But when X is countable, the Hausdorff dimensions of Y and XxY are the same. Diagonalizations of covers define…

Logic · Mathematics 2010-08-02 Tomasz Weiss , Boaz Tsaban

Starting from a supercompact cardinal we build a model in which $2^{\aleph_{\omega_1}}=2^{\aleph_{\omega_1+1}}=\aleph_{\omega_1+3}$ but there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$.…

Logic · Mathematics 2016-05-03 Jacob Davis

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…

Logic · Mathematics 2026-03-11 Yiping Miao

A generalized family of transcendental (non-polynomial entire) functions is constructed, where the Hausdorff dimension and the packing dimension of the Julia sets are equal to one. Further, there exist multiply connected wandering domains,…

Dynamical Systems · Mathematics 2022-02-28 Xu Zhang

For each countable ordinal $\alpha \ge 2$, the ideals $\mathsf{conv}_\alpha$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces…

Logic · Mathematics 2026-03-03 Malgorzata Kowalczuk

We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimensional $C$-sequences that entail coherence of the resultant…

Logic · Mathematics 2026-01-16 Chris Lambie-Hanson , Pedro Marun

The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal…

Logic · Mathematics 2022-02-23 Sittinon Jirattikansakul

We investigate choice principles in the Weihrauch lattice for finite sets on the one hand, and convex sets on the other hand. Increasing cardinality and increasing dimension both correspond to increasing Weihrauch degrees. Moreover, we…

Logic · Mathematics 2017-01-11 Stéphane Le Roux , Arno Pauly

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable…

Logic · Mathematics 2025-11-20 Claudio Agostini , Nick Chapman , Luca Motto Ros , Beatrice Pitton

We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{\kappa, \kappa}$, this allows us to characterize any large cardinal…

Logic · Mathematics 2019-03-19 Will Boney

We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a…

Logic in Computer Science · Computer Science 2008-10-22 Alberto Momigliano , Frank Pfenning

We study a family of transcendental entire functions of genus zero, for which all of the zeros lie within a closed sector strictly smaller than a half-plane. In general these functions lie outside the Eremenko-Lyubich class. We show that…

Complex Variables · Mathematics 2016-01-26 D. J. Sixsmith

We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the…

General Topology · Mathematics 2021-02-09 Paolo Lipparini

A paired dominating set $P$ is a dominating set with the additional property that $P$ has a perfect matching. While the maximum cardainality of a minimal dominating set in a graph $G$ is called the upper domination number of $G$, denoted by…

Combinatorics · Mathematics 2023-06-22 Hadi Alizadeh , Didem Gözüpek

Suppose that there is a measurable cardinal. If \aleph_\omega is a strong limit cardinal, but the power of \aleph_\omega is bigger than \aleph_{\omega_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the…

Logic · Mathematics 2007-05-23 Ralf Schindler

We establish the functional relations between generating series of higher-order free cumulants and moments in higher-order free probability, solving an open problem posed fifteen years ago by Collins, Mingo, \'Sniady and Speicher. We…

Operator Algebras · Mathematics 2023-09-28 Gaëtan Borot , Séverin Charbonnier , Elba Garcia-Failde , Felix Leid , Sergey Shadrin

One of the numerous characterizations of a Ramsey cardinal kappa involves the existence of certain types of elementary embeddings for transitive sets of size \kappa satisfying a large fragment of ZFC. We introduce new large cardinal axioms…

Logic · Mathematics 2011-04-25 Victoria Gitman

We construct "large" Cantor sets whose complements resemble the unit disk arbitrarily well from the point of view of the squeezing function, and we construct "large" Cantor sets whose complements do not resemble the unit disk from the point…

Complex Variables · Mathematics 2017-10-31 Leandro Arosio , John Erik Fornæss , Nikolay Shcherbina , Erlend Fornæss Wold

This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…

Logic · Mathematics 2025-06-10 Slavica Mihaljevic Vlahovic , Branislav Dobrasin Vlahovic
‹ Prev 1 4 5 6 7 8 10 Next ›