Related papers: Coloring ordinals by reals

The vertex coloring problem asks for the minimum number of colors that can be assigned to the vertices of a given graph such that each two adjacent vertices get different colors. For this NP-hard problem, a variety of integer linear…

This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof…

We construct a model with a saturated ideal $I$ over $\mathcal{P}_{\kappa}\lambda$ and study the extent of saturation of $I$.

The subalgebra of the tautological ring of the moduli of curves of compact type generated by the kappa classes is studied in all genera. Relations, constructed via the virtual geometry of the moduli of stable quotients, are used to obtain…

Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(Q^{cf}_C) has additional nice properties: it has homogeneous model existence property.

Kinna--Wagner Principles state that every set can be mapped into some fixed iterated power set of an ordinal, and we write $\mathsf{KWP}$ to denote that there is some $\alpha$ for which this holds. The Kinna--Wagner Conjecture, formulated…

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if $\kappa \leq \lambda$, then $$\sup_{|A| = \lambda} |S^\kappa(A)| =…

For an ill-posed inverse problem, particularly with incomplete and limited measurement data, regularization is an essential tool for stabilizing the inverse problem. Among various forms of regularization, the lp penalty term provides a…

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

For an arbitrary state $\omega$ on a Cuntz algebra, we define a number $1\leq \kappa(\omega)\leq \infty$ such that if the GNS representations of $\omega$ and $\omega'$ are unitarily equivalent, then $\kappa(\omega)=\kappa(\omega')$. By…

We give some general criteria, when kappa-complete forcing preserves largeness properties -- like kappa-presaturation of normal ideals on lambda (even when they concentrate on small cofinalities). Then we quite accurately obtain the…

In this paper, we obtain the strong comparison principle and Hopf Lemma for locally Lipschitz viscosity solutions to a class of nonlinear degenerate elliptic operators of the form $\nabla^2 \psi + L(x,\nabla \psi)$, including the conformal…

The logic of hereditary Harrop formulas (HH) has proven useful for specifying a wide range of formal systems. This logic includes a form of hypothetical judgment that leads to dynamically changing sets of assumptions and that is key to…

We study the uniform distribution of the polynomial sequence $\lambda(P)=(\lfloor P(k) \rfloor )_{k\geq 1}$ modulo integers, where $P(x)$ is a polynomial with real coefficients. In the nonlinear case, we show that $\lambda(P)$ is uniformly…

Let $\lambda$ and $\kappa$ be cardinal numbers such that $\kappa$ is infinite and either $2\leq \lambda\leq \kappa$, or $\lambda=2^\kappa$. We prove that there exists a lattice $L$ with exactly $\lambda$ many congruences, $2^\kappa$ many…

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

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…

We investigate the infinite version of the $k$-switch problem of Greenwell and Lov\'asz. Given infinite cardinals ${\kappa}$ and ${\lambda}$, for functions $x,y\in {}^{\lambda}\kappa $ we say that they are totally different if $x(i)\ne…

We prove that there are infinitely many integers $n$ such that the total number of prime factors of $(n+h_{1})(n+h_{2})...(n+h_{\kappa})$ is at most $(1/2)\kappa\log\kappa+O(\kappa)$, provided $\kappa$ is sufficiently large.

We build models using an indiscernible model sub-structures of ${\kappa} \ge {\lambda}$ and related more complicated structures. We use this to build various Boolean algebras.