English
Related papers

Related papers: A Lower Bound for the Hanf Number for Joint Embedd…

200 papers

Let $C\subseteq \{1,\ldots,k\}^n$ be such that for any $k$ distinct elements of $C$ there exists a coordinate where they all differ simultaneously. Fredman and Koml\'os studied upper and lower bounds on the largest cardinality of such a set…

Combinatorics · Mathematics 2020-02-26 Simone Costa , Marco Dalai

A family $f_t(z)$ of polynomials over a number field $K$ will be called \emph{weighted homogeneous} if and only if $f_t(z)=F(z^e, t)$ for some binary homogeneous form $F(X, Y)$ and some integer $e\geq 2$. For example, the family $z^d+t$ is…

Number Theory · Mathematics 2017-06-14 Patrick Ingram

We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…

Logic · Mathematics 2020-02-24 Thomas G. Kucera , Marcos Mazari-Armida

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

Logic · Mathematics 2013-09-12 Brent Cody , Menachem Magidor

In the first part of the manuscript, we establish several consistency results concerning Woodin's $\HOD$ hypothesis and large cardinals around the level of extendibility. First, we prove that the first extendible cardinal can be the first…

Logic · Mathematics 2024-11-07 Gabriel Goldberg , Jonathan Osinski , Alejandro Poveda

Let $E, F\subset \R^d$ be two self-similar sets. Under mild conditions, we show that $F$ can be $C^1$-embedded into $E$ if and only if it can be affinely embedded into $E$; furthermore if $F$ can not be affinely embedded into $E$, then the…

Dynamical Systems · Mathematics 2014-06-23 De-Jun Feng , Wen Huang , Hui Rao

We show that the $k$-nearest neighbour learning rule is universally consistent in a metric space $X$ if and only if it is universally consistent in every separable subspace of $X$ and the density of $X$ is less than every real-measurable…

Machine Learning · Computer Science 2024-05-03 Vladimir G. Pestov

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

Logic · Mathematics 2017-10-27 Philipp Lücke , Ralf Schindler , Philipp Schlicht

The isometric embeddings $\ell_{2;K}^m\to\ell_{p;K}^n$ ($m\geq 2$, $p\in 2\N$) over a field $K\in{R, C, H}$ are considered, and an upper bound for the minimal $n$ is proved. In the commutative case ($K\neq H$) the bound was obtained by…

Functional Analysis · Mathematics 2007-12-04 Yuri I. Lyubich

Let $\mathcal{F}$ be a family of $k$-sized subsets of $[n]$ that does not contain $s$ pairwise disjoint subsets. The Erd\H{o}s Matching Conjecture, a celebrated and long-standing open problem in extremal combinatorics, asserts the maximum…

Combinatorics · Mathematics 2026-03-11 Tapas Kumar Mishra

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$:…

General Topology · Mathematics 2025-12-30 Alan Dow , István Juhász

For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…

General Topology · Mathematics 2014-07-15 Wojciech Bielas

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 study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if $\kappa$ is a limit of measurables then there is no wellorder of a subset of $P(\kappa)$ of length…

Logic · Mathematics 2026-03-13 Farmer Schlutzenberg

The Wholeness Axioms, proposed by Paul Corazza, axiomatize the existence of an elementary embedding j:V-->V. Formalized by augmenting the usual language of set theory with an additional unary function symbol j to represent the embedding,…

Logic · Mathematics 2007-05-23 Joel David Hamkins

Suppose $M$ is a complete, embedded minimal surface in $\mathbb{R}^3$ with an infinite number of ends, finite genus and compact boundary. We prove that the simple limit ends of $M$ have properly embedded representatives with compact…

Differential Geometry · Mathematics 2018-06-11 William H. Meeks , Joaquin Perez , Antonio Ros

Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is \chi-tame. If K is categorical in some \lambda^+ >LS(K) then it is categorical…

Logic · Mathematics 2007-05-23 Rami Grossberg , Monica VanDieren

Let $r_k(n)$ denote the maximum cardinality of a set $A \subset \{1,2, \dots, n \}$ such that $A$ does not contain a $k$-term arithmetic progression. In this paper, we give a method of constructing such a set and prove the lower bound…

Combinatorics · Mathematics 2017-11-21 Vladislav Taranchuk

Let $K: \boldsymbol{\Omega}\times \boldsymbol{\Omega}$ be a continuous Mercer kernel defined on a compact subset of ${\mathbb R}^n$ and $\mathcal{H}_K$ be the reproducing kernel Hilbert space (RKHS) associated with $K$. Given a finite…

Machine Learning · Statistics 2024-12-31 Rustem Takhanov

Let $K$ be a locally compact hypergroup with a left Haar measure $\mu$ and $\Omega$ be a Banach ideal of $\mu$-measurable complex-valued functions on $K$. For Young functions $\{\varphi_i\}_{i=1,2,3}$, let $\Omega_{\varphi_i}(K)$ be the…

Classical Analysis and ODEs · Mathematics 2025-02-25 Jun Liu , Yaqian Lu , Chi Zhang