A Variation of Reynolds-Hurkens Paradox
Paper in proceeding, 2024
We present a variation of Reynolds-Hurkens paradox formulated as the non existence of a powerful triple in the proof system HOL.
Author
Thierry Coquand
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14560 LNCS 111-117Subject Categories (SSIF 2025)
Mathematical Analysis
DOI
10.1007/978-3-031-61716-4_7