![](/img/cover-not-exists.png)
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
Ishihara, Hajime, Maietti, Maria Emilia, Maschio, Samuele, Streicher, ThomasLanguage:
english
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s00153-018-0612-9
Date:
January, 2018
File:
PDF, 429 KB
english, 2018