Abstract.
This paper is about two topics: 1. systems of explicit mathematics with universes and a non-constructive quantification operator $\mu$; 2. iterated fixed point theories with ordinals. We give a proof-theoretic treatment of both families of theories; in particular, ordinal theories are used to get upper bounds for explicit theories with finitely many universes.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received February 2, 1996
Rights and permissions
About this article
Cite this article
Marzetta, M., Strahm, T. The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. Arch Math Logic 37, 391–413 (1998). https://doi.org/10.1007/s001530050105
Issue Date:
DOI: https://doi.org/10.1007/s001530050105