I received a letter on Friday from Bob Kustra, the president of BSU.
“I am pleased to inform you that you are being promoted to the rank of Associate Professor and being awarded tenure.”
Advertisements
A kind of library
Andrés E. Caicedo
Recent Comments
Mathoverflow- Answer by Andrés E. Caicedo for "Weakly" Woodin cardinals May 28, 2017(As I pointed out in a comment) yes, partial Woodinness is common in arguments in inner model theory. Accordingly, you obtain determinacy results addressing specific pointclasses (typically, well beyond projective). To illustrate this, let me "randomly" highlight two examples: See here for $\Sigma^1_2$-Woodin cardinals and, more generally, the noti […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Completion of ZFC November 22, 2010I am not sure which statement you heard as the "Ultimate $L$ axiom," but I will assume it is the following version: There is a proper class of Woodin cardinals, and for all sentences $\varphi$ that hold in $V$, there is a universally Baire set $A\subseteq{\mathbb R}$ such that, letting $\theta=\Theta^{L(A,{\mathbb R})}$, we have that $HOD^{L(A,{\ma […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Is there a natural inner model of AD$_\mathbb{R}$? May 13, 2017A Wadge initial segment (of $\mathcal P(\mathbb R)$) is a subset $\Gamma$ of $\mathcal P(\mathbb R)$ such that whenever $A\in\Gamma$ and $B\le_W A$, where $\le_W$ denotes Wadge reducibility, then $B\in\Gamma$. Note that if $\Gamma\subseteq\mathcal P(\mathbb R)$ and $L(\Gamma,\mathbb R)\models \Gamma=\mathcal P(\mathbb R)$, then $\Gamma$ is a Wadge initial se […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Which types of Diophantine equations are solvable? January 13, 2011Craig: For a while, there was some research on improving bounds on the number of variables or degree of unsolvable Diophantine equations. Unfortunately, I never got around to cataloging the known results in any systematic way, so all I can offer is some pointers to relevant references, but I am not sure of what the current records are. Perhaps the first pape […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Is there a Darboux function like the one described below? April 12, 2017Yes. Consider, for instance, Conway's base 13 function $c$, or any function that is everywhere discontinuous and has range $\mathbb R$ in every interval. Pick continuous bijections $f_n:\mathbb R\to(-1/n,1/n)$ for $n\in\mathbb N^+$. Pick a strictly decreasing sequence $(x_n)_{n\ge1}$ converging to $0$. Define $f$ by setting $f(x)=0$ if $x=0$ or $\pm x_n […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for "Weakly" Woodin cardinals May 28, 2017
- Math.StackExchange
- Answer by Andrés E. Caicedo for Direct bijection between $C[0,1]$ and $[0,1]$ June 23, 2017All proofs of the Bernstein-Cantor-Schroeder theorem that I know either directly or with very little work produce an explicit bijection from any given pair of injections. There is an obvious injection from $[0,1]$ to $C[0,1]$ mapping each $t$ to the function constantly equal to $t$, so the question reduces to finding an explicit injection from $C[0,1]$ to $[ […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Is it possible to formalize the idea that large cardinal axioms don't limit us, while their negations do? November 25, 2013One way we formalize this "limitation" idea is via interpretative power. John Steel describes this approach carefully in several places, so you may want to read what he says, in particular at Solomon Feferman, Harvey M. Friedman, Penelope Maddy, and John R. Steel. Does mathematics need new axioms?, The Bulletin of Symbolic Logic, 6 (4), (2000), 401 […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Is there an algebraic homomorphism between two Banach algebras which is not continuous? November 23, 2010"There are" examples of discontinuous homomorphisms between Banach algebras. However, the quotes are there because the question is independent of the usual axioms of set theory. I quote from the introduction to W. Hugh Woodin, "A discontinuous homomorphism from $C(X)$ without CH", J. London Math. Soc. (2) 48 (1993), no. 2, 299-315, MR1231 […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for $(\kappa^+)^\alpha=\kappa^\alpha\cdot \kappa^+$ May 29, 2017This is Hausdorff's formula. Recall that $\tau^\lambda$ is the cardinality of the set ${}^\lambda\tau$ of functions $f\!:\lambda\to\tau$, and that $\kappa^+$ is regular for all $\kappa$. Now, there are two possibilities: If $\alpha\ge\tau$, then $2^\alpha\le\tau^\alpha\le(2^\alpha)^\alpha=2^\alpha$, so $\tau^\alpha=2^\alpha$. In particular, if $\alpha\g […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Definition of nonstandard $\omega$ May 27, 2017Fix a model $M$ of a theory for which it makes sense to talk about $\omega$ ($M$ does not need to be a model of set theory, it could even be simply an ordered set with a minimum in which every element has an immediate successor and every element other than the minimum has an immediate predecessor; in this case we could identify $\omega^M$ with $M$ itself). W […]Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Direct bijection between $C[0,1]$ and $[0,1]$ June 23, 2017
Congratulations! Here’s to a transfinity of good research in the future!
Thanks!
It is a little late, but congratulations!
Not late at all. Many thanks!
Congratulations!!!
Thank you, John!
Congratulations, Andres!
Many thanks, Joel!