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 |
Externí odkaz: |