Notes on axiomatising Hurkens's Paradox
Logic in Computer Science
2015-07-17 v1
Abstract
An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory.
Cite
@article{arxiv.1507.04577,
title = {Notes on axiomatising Hurkens's Paradox},
author = {Arnaud Spiwack},
journal= {arXiv preprint arXiv:1507.04577},
year = {2015}
}