On graphs of total projective functions
Logic
2026-05-21 v1
Abstract
It is well known that the graph of a total -function is . We prove the consistency of the dual assertion at the third projective level: there is a model of in which the graph of every total -function is . This principle is incompatible with -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}
}