Abstract.
In this article we prove that a certain intuitionistic version of the well-known fixed point theory \(\widehat{\rm ID}_1\) is conservative over \(\mbox{\sf HA}\) for almost negative formulas.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received October 24, 1995
Rights and permissions
About this article
Cite this article
Buchholz, W. An intuitionistic fixed point theory. Arch Math Logic 37, 21–27 (1997). https://doi.org/10.1007/s001530050079
Issue Date:
DOI: https://doi.org/10.1007/s001530050079