Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory.
Foukzon, Jaykov · 2021
PhilArchive · Papers · License: Open Access · 2021