English

On graphs of total projective functions

Logic 2026-05-21 v1

Abstract

It is well known that the graph of a total Σn1\mathbf{\Sigma}^1_n-function is Πn1\mathbf{\Pi}^1_n. We prove the consistency of the dual assertion at the third projective level: there is a model of \ZFC\ZFC in which the graph of every total Π31\mathbf{\Pi}^1_3-function is Σ31\mathbf{\Sigma}^1_3. This principle is incompatible with Π31\mathbf{\Pi}^1_3-uniformization and hence with the usual projective-determinacy picture. The construction also repairs the final step of the failure-of-uniformization argument from~\cite{HOFFELNER2023103292}.

Keywords

Cite

@article{arxiv.2605.21184,
  title  = {On graphs of total projective functions},
  author = {Stefan Hoffelner},
  journal= {arXiv preprint arXiv:2605.21184},
  year   = {2026}
}
R2 v1 2026-07-22T07:24:03.248Z