{"id":"arxiv/2604.19360","url":"https://arxiv.org/abs/2604.19360","tags":["math.LO"],"score":0,"title":"On $\\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization","domain":"math.LO","source":"arxiv","authors":["Stefan Hoffelner"],"reviews":0,"subject":"math.LO","summary":"Assuming the consistency of $\\mathsf{ZFC}$, we construct a model of set theory in which the boldface $\\mathbfΣ^1_3$-uniformization property holds, yet the lightface $Σ^1_4$-uniformization property fails, separating these two principles for the first time. We also indicate how to create a universe where $Σ^1_3$-uniformization holds, but $Σ^1_4$-uniformization fails using inner models with large cardinals.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-21","reactions":{}}