{"id":"arxiv/2611.04963","url":"https://arxiv.org/abs/2611.04963","tags":["math.LO"],"score":0,"title":"Iterating logarithms and well-foundedness","domain":"math.LO","source":"arxiv","authors":["Gervasio Figueroa","Joel Kuperman","Pedro Sánchez Terraf"],"reviews":0,"subject":"math.LO","summary":"We prove that there is no sequence $\\{ X_n \\}_{n\\inω}$ such that for all $n$, there is an injection from $\\mathcal{P}(X_{n+1})$ to $X_n$ under a restricted set of axioms that conforms to the \"working mathematician's\" intuition (excluding Choice, Replacement, and Foundation). We also show such a sequence cannot be defined using a formula either. More precisely, it is inconsistent with Zermelo set theory minus Infinity to have a formula $Φ(\\cdot,\\cdot)$ such that for each $n\\inω$ there are $X$ and $Y$ with $Φ(n,X)$, $Φ(n+1,Y)$, and $\\mathcal{P}(Y)$ being injectable into $X$. We finally show…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}