Related papers: The Erdos-Rado arrow for singular cardinals

We show that the definition of caliber given by Engelking in R. Engelking, "General topology", Sigma series in pure mathematics, Heldermann, vol. 6, 1989, which we will call caliber*, differs from the traditional notion of this concept in…

Assuming that $0^\dagger$ does not exist, we prove that if there is a partition of $\mathbb R$ into $\aleph_\omega$ Borel sets, then there is also a partition of $\mathbb R$ into $\aleph_{\omega+1}$ Borel sets.

We deal with several pcf problems; we characterize another version of exponentiation: number of kappa-branches in a tree with lambda nodes, deal with existence of independent sets in stable theories, possible cardinality of ultraproduct,…

Let $\kappa$ be an uncountable cardinal such that $2^{<\kappa} = \kappa$ or just ${\rm cf}(\kappa) > \omega$, $2^{2^{<\kappa}}= 2^\kappa$, and $([\kappa]^\kappa, \supseteq)$ collapses $2^\kappa$ to $\omega$. We show under these assumptions…

Let $M$ denote the Merimovich's model in which for each infinite cardinal $\lambda, 2^\lambda=\lambda^{+3}$. We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall \lambda…

The optimality of the Erd\H{o}s-Rado theorem for pairs is witnessed by the colouring $\Delta_\kappa : [2^\kappa]^2 \rightarrow \kappa$ recording the least point of disagreement between two functions. This colouring has no monochromatic…

We show that if $\mathcal{L}_1$ and $\mathcal{L}_2$ are linear transformations from $\mathbb{Z}^d$ to $\mathbb{Z}^d$ satisfying certain mild conditions, then, for any finite subset $A$ of $\mathbb{Z}^d$, $$|\mathcal{L}_1 A+\mathcal{L}_2…

We give a detailed and self-contained introduction to the theory of $\lambda $-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos has enough $\lambda $-points. 2) The classifying $\lambda $-topos of a $\kappa $-site…

Let kappa be an uncountable regular cardinal. Assuming 2^kappa=kappa^+, we show that the clone lattice on a set of size kappa is not dually atomic.

Given $m \in \mathbb{N} \setminus \{0\}$ and $\rho > 0$, we find solutions $(\lambda,u)$ to the problem \begin{equation*} \begin{cases} \bigl(-\frac{\mathrm{d}^2}{\mathrm{d} x^2}\bigr)^m u + \lambda G'(u) = F'(u)\\ \int_{\mathbb{R}} K(u) \,…

The relations M(kappa,lambda,mu)->B [resp. B(sigma)] meaning that if A subset [kappa]^lambda with |A|=kappa is mu-almost disjoint then A has property B [resp. has a sigma-transversal] had been introduced and studied under GCH by Erdos and…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

We prove that for any pair of integers 0\leq r\leq g such that g\geq 3 or r>0, there exists a (hyper)elliptic curve C over F_2 of genus g and 2-rank r whose automorphism group consists of only identity and the (hyper)elliptic involution. As…

The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for…

This note shows how recent work of Eskew and Hayut can be combined with a method of Raghavan and Shelah to show the consistency of $\mathfrak u_\kappa<2^\kappa$ for $\aleph_3\leq \kappa<\aleph_{\omega}$, from a huge cardinal.

We introduce a generalization of bivariate Griffiths polynomials depending on an additional parameter $\lambda$. These $\lambda$-Griffiths polynomials are bivariate, bispectral and biorthogonal. For two specific values of the parameter…

Let $K/F$ be a quadratic tamely ramified extension of a non-Archimedean local field $F$ of characteristic zero. In this paper, we give an explicit formula for Langlands' lambda function $\lambda_{K/F}$.

If $f\colon [0,1]^2 \to \mathbb{R}$ is of class $C^2$ then Sard's theorem implies that $f$ has the following relaxed Sard property: the image under $f$ of the Lebesgue measure restricted to the critical set of $f$ is a singular measure. We…

For a finite set $A\subset \mathbb{R}$ and real $\lambda$, let $A+\lambda A:=\{a+\lambda b :\, a,b\in A\}$. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of…

We address a number of problems on Boolean Algebras. For example, we construct, in ZFC, for any BA B, and cardinal kappa BAs B_1,B_2 extending B such that the depth of the free product of B_1,B_2 over B is strictly larger than the depths of…