Source author record

Andrés Eduardo Caicedo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.NT

Catalog footprint

Research overview

2works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Coloring the $n$ -smooth numbers with $n$ colors

For which values of $n$ can we color the positive integers with precisely $n$ colors in such a way that for any $a$ , the numbers $a,2a,\dots,na$ all get different colors? Pach posed the question around 2008-9. Particular cases appeared in KöMaL in April 2010, and the general version appeared in May 2010 on MathOverflow, posted by Pálvölgyi. The question remains open. We discuss the known partial results and investigate a series of related matters attempting to understand the structure of these $n$ -satisfactory colorings. Specifically, we show that there is an $n$ -satisfactory coloring whenever there is an abelian group operation $\oplus$ on the set $\{1,2,\dots,n\}$ compatible with multiplication in the sense that whenever $i$ , $j$ and $ij$ are in $\{1,\dots,n\}$ , then $ij=i\oplus j$ . This includes in particular the cases where $n+1$ is prime, or $2n+1$ is prime, or $n=p^2-p$ for some prime $p$ , or there is a $k$ such that $q=nk+1$ is prime and $1^k,\dots,n^k$ are all distinct modulo $q$ (in which case we call $q$ a strong representative of order $n$ ). The colorings obtained by this process we call multiplicative. We also show that nonmultiplicative colorings exist for some values of $n$ . There is an $n$ -satisfactory coloring of $\mathbb Z^+$ if and only if there is such a coloring of the set $K_n$ of $n$ -smooth numbers. We identify all $n$ -satisfactory colorings for $n\le 5$ and all multiplicative colorings for $n\le 8$ , and show that there are as many nonmultiplicative colorings of $K_n$ as there are real numbers for $n=6$ and 8. We show that if $n$ admits a strong representative $q$ then the set of such $q$ has positive natural density in the set of all primes. We show that the question of whether there is an $n$ -satisfactory coloring is equivalent to a problem about tilings, and use this to give a geometric characterization of multiplicative colorings.

preprint2018arXiv

Inner-model reflection principles

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement $φ(a)$ in the first-order language of set theory is true in the set-theoretic universe $V$ , then it is also true in a proper inner model $W\subsetneq V$ . A stronger principle, the ground-model reflection principle, asserts that any such $φ(a)$ true in $V$ is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width reflection in contrast to the usual height reflection of the Lévy-Montague reflection theorem. They are each equiconsistent with ZFC and indeed $Π_2$ -conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Andrés Eduardo Caicedo

Research overview

Is this your work?

2 publications

Coloring the $n$ -smooth numbers with $n$ colors

Inner-model reflection principles

See the researcher in context

Building this map preview

Andrés Eduardo Caicedo

Research overview

Is this your work?

2 publications

Coloring the nnn-smooth numbers with nnn colors

Inner-model reflection principles

See the researcher in context

Building this map preview

Coloring the $n$ -smooth numbers with $n$ colors