{"id":"arxiv/2608.07050","url":"https://arxiv.org/abs/2608.07050","tags":["math.LO"],"score":0,"title":"Lévy-Montague reflection is $Π^1_1$-conservative over $\\mathsf{WKL}_0$","domain":"math.LO","source":"arxiv","authors":["Fedor Pakhomov"],"reviews":0,"subject":"math.LO","summary":"We study a Lévy-Montague reflection scheme $\\mathsf{Rfn}$ in second-order arithmetic: for each formula $\\varphi$, the scheme asserts that every set belongs to a countable coded $ω$-model such that $\\varphi$ is absolute, at all parameters from the model, between the model and the universe. Our central result is a model extension construction: every countable model of $\\mathsf{RCA}_0$ can be extended, without changing its first-order part, to a model of $\\mathsf{WKL}_0$ together with the full scheme $\\mathsf{Rfn}$. It follows at once that $\\mathsf{WKL}_0+\\mathsf{Rfn}$ is $Π^1_1$-conservative…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-07","reactions":{}}