{"id":"arxiv/2601.01855","url":"https://arxiv.org/abs/2601.01855","tags":["math.LO"],"score":0,"title":"A countable-support symmetric iteration separating PP from AC","domain":"math.LO","source":"arxiv","authors":["Frank Gilson"],"reviews":0,"subject":"math.LO","summary":"We study a countable-support Cohen symmetric seed model and a proposed symmetric-iteration approach to separating the Partition Principle $\\mathsf{PP}$ from the Axiom of Choice. The previously claimed final construction is withdrawn. Its package forcing targets right inverses, and therefore a localized splitting principle stronger than the ordinary localized Partition Principle. For the fixed seed parameter $S=A^ω$, that splitting principle together with $\\mathsf{SVC}(S)$ implies $\\mathsf{AC}$, contrary to the intended preservation of a non-well-orderable Cohen set. Independently, the final…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-05","reactions":{}}