Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice.

Autor: Ishihara, Hajime1 ishihara@jaist.ac.jp, Maietti, Maria Emilia2 maietti@math.unipd.it, Maschio, Samuele2 maschio@math.unipd.it, Streicher, Thomas3 streicher@mathematik.tu-darmstadt.de
Zdroj: Archive for Mathematical Logic. Nov2018, Vol. 57 Issue 7/8, p873-888. 16p.
Databáze: Academic Search Ultimate