Related papers: Todorcevic's Problem on Rado's Conjecture
In this paper, we prove Gromov's flat corner domination conjecture in all dimensions. As a consequence, we answer positively the Stoker conjecture for convex Euclidean polyhedra in all dimensions. By applying the same techniques, we also…
We prove the consistency of $\mathfrak{r}_\lambda<\mathfrak{d}_\lambda$ and even $\mathfrak{u}_\lambda<\mathfrak{d}_\lambda$ for a singular cardinal $\lambda$.
If it is consistent that there is a measurable cardinal, then it is consistent that all points g-delta Rothberger spaces have "small" cardinality.
There is the classical Radon theorem. Given integer $d \geq 1$ and $d+2$ points in d-dimensional space $R^d$. Then these points can be divided into two disjoint subsets whose convex hulls have a non-empty intersection. The original proof of…
We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a…
Six conjectures on pairs of consecutive primes are listed in this paper, together with examples for each case.
Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either…
In this paper, we prove that: if $\kappa$ is supercompact and the $\mathsf{HOD}$ Hypothesis holds, then there is a proper class of regular cardinals in $V_{\kappa}$ which are measurable in $\mathsf{HOD}$. Woodin also proved this result. As…
This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish…
We show that it is consistent that for some uncountable cardinal k, all compactifications of the countable discrete space with remainders homeomorphic to $D^k$ are homeomorphic to each other. On the other hand, there are $2^c$ pairwise…
We show that Vojta's conjecture for some rational surfaces is related to the $abc$ conjecture. More specifically, we prove that Vojta's conjecture on these surfaces implies a special case of the $abc$ conjecture, while the $abc$ conjecture…
We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…
Ce texte est une d\'emontration compl\`ete de la conjecture de Catalan \'elabor\' ee \`a la suite d'un s\'eminaire fait \`a Lausanne entre 2002 et 2004, juste apr\`es l'annonce de la merveilleuse preuve de Preda Mihailescu
We investigate a combinatorial game on $\omega_1$ and show that mild large cardinal assumptions imply that every normal ideal on $\omega_1$ satisfies a weak version of precipitousness. As an application, we show that that the…
In this paper we prove that the tree property can hold on regular cardinals in an interval which overlaps a strong limit cardinal. This is a crucial milestone in the long term project, tracing back to a question raised by Foreman and…
We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $\kappa$, let {\sf BC}$_{\kappa}$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture.…
A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.
Rado's Conjecture is a compactness/reflection principle that says any nonspecial tree of height $\omega_1$ has a nonspecial subtree of size $\leq \aleph_1$. Though incompatible with Martin's Axiom, Rado's Conjecture turns out to have many…
In 2019, P. Higgins formulated [1] a question about bipartite graphs (see Conjecture 1 below); this question arises in the study of regular finite semigroups. F. V. Petrov formulated [2] another combinatorial conjecture (Conjecture 3);…
The cardinal direction calculus (CDC) proposed by Goyal and Egenhofer is a very expressive qualitative calculus for directional information of extended objects. Early work has shown that consistency checking of complete networks of basic…