English
Related papers

Related papers: Reinhardt Cardinals and Eventually Dominating Func…

200 papers

We investigate the existence of strong colorings on successors of singular cardinals. This work continues Section 2 of [Sh:413] (math.LO/9809199), but now our emphasis is on finding colorings of pairs of ordinals, rather than colorings of…

Logic · Mathematics 2009-09-25 Todd Eisworth , Saharon Shelah

Assuming a large cardinal hypothesis, Laver gave a representation of the monogenerated free left distributive algebra (LDA) using elementary embeddings and used this representation to prove many algebraic results. Some of these results were…

Logic · Mathematics 2026-04-13 Scott Cramer , Meng-Che "Turbo" Ho , Sheila K. Miller Edwards , Nam Trang

Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…

Logic · Mathematics 2020-12-21 Farmer Schlutzenberg

We show a new proof for the fact that when $\kappa$ and $\lambda$ are infinite cardinals satisfying $\lambda ^ \kappa = \lambda$, the cofinality of the set of all functions from $\lambda$ to $\kappa$ ordered by everywhere domination is…

Logic · Mathematics 2014-05-06 Dan Hathaway

We analyze several natural Goodstein principles which themselves are defined with respect to the Ackermann function and the extended Ackermann function. These Ackermann functions are well established canonical fast growing functions labeled…

Logic · Mathematics 2020-07-20 Andreas Weiermann

It is shown that the existence of a measurable cardinal is equiconsistent to a model of ZFC in which there is no ordinal-definable, stationary, costationary subset of $\omega_1$

Logic · Mathematics 2017-07-13 Stefan Hoffelner

We demonstrate under appropriate finiteness conditions that a coarse embedding induces an inequality of homological Dehn functions. Applications of the main results include a characterization of what finitely presentable groups may admit a…

Geometric Topology · Mathematics 2020-11-19 Robert Kropholler , Mark Pengitore

The purpose of this paper is to make an introduction to univalent function theory for readers of any level, assuming only foundational knowledge in real and complex analysis. In particular, we state and proof (with details) important…

Complex Variables · Mathematics 2024-11-13 Jiakai Qu

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

Logic · Mathematics 2017-02-21 Shimon Garti

We perform an in-depth study of some domination and smoothing properties of linear operators and of their role within the theory of eventually positive operator semigroups. On the one hand we prove that, on many important function spaces,…

Functional Analysis · Mathematics 2021-09-28 Daniel Daners , Jochen Glück

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper…

Commutative Algebra · Mathematics 2024-09-05 Abolfazl Tarizadeh

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

Functional Analysis · Mathematics 2024-06-27 Tetsuya Hattori

This note consists of two largely independent parts. In the first part we give conditions on the kernel $k: \Omega \times \Omega \rightarrow \mathbb{R}$ of a reproducing kernel Hilbert space $H$ continuously embedded via the identity…

Functional Analysis · Mathematics 2022-06-16 Marcin Wnuk

We introduce various colouring principles which generalise the so-called "onto mapping principle" of Sierpinski to larger cardinals and general ideals. We prove that these principles capture the notion of an Ulam matrix and allow to…

Logic · Mathematics 2021-12-13 Tanmay Inamdar , Assaf Rinot

We introduce the notion of $\lambda$-equivalence and $\lambda$-embeddings of objects in suitable categories. This notion specializes to $L_{\infty\lambda}$-equivalence and $L_{\infty\lambda}$-elementary embedding for categories of…

Category Theory · Mathematics 2020-12-04 Tibor Beke , Jiri Rosicky

We consider the problem of the minimizer constancy in the fractional embedding theorem $\mathcal{H}^s(\Omega) \hookrightarrow L_q(\Omega)$ for a bounded Lipschitz domain $\Omega,$ depending on the domain size. For the family of domains…

Analysis of PDEs · Mathematics 2020-11-24 Nikita Ustinov

Motivated by an influential result of Bourgain and Tzafriri, we consider continuous matrix functions $A:\mathbb{R}\to M_{n\times n}$ and lower $\ell_2$-norm bounds associated with their restriction to certain subspaces. We prove that for…

Functional Analysis · Mathematics 2022-01-14 Adrian Fan , Jack Montemurro , Pavlos Motakis , Naina Praveen , Alyssa Rusonik , Paul Skoufranis , Noam Tobin

We consider the classical problem of determining the largest possible cardinality of a minimal presentation of a numerical monoid with given embedding dimension and multiplicity. Very few values of this cardinality are known. In addressing…

Combinatorics · Mathematics 2025-05-14 Alessio Moscariello , Alessio Sammartano

A necessary and sufficient condition for fractional Orlicz-Sobolev spaces to be continuously embedded into $L^\infty(\mathbb R^n)$ is exhibited. Under the same assumption, any function from the relevant fractional-order spaces is shown to…

Functional Analysis · Mathematics 2022-07-22 Angela Alberico , Andrea Cianchi , Luboš Pick , Lenka Slavíková

Martin's Conjecture states that every definable function on the Turing degrees is either constant or increasing, and that every increasing function is an iterate of the Turing jump. This classification has already been corroborated for the…

Logic · Mathematics 2025-11-11 Antonio Nakid Cordero