Relating Quine's NF to Feferman's EM

DOI10.1023/A:1026495301622zbMath0923.03068OpenAlexW1517950697MaRDI QIDQ1288960

Andrea Cantini

Publication date: 18 October 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026495301622

zbMATH Keywords

consistencytranslationexplicit mathematicscomprehensionapplicative systemQuine's New Foundationsstrong power type axiomuniform monotone inductive definitions

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Related Items (1)

Explicit mathematics: power types and overloading

This page was built for publication: Relating Quine's NF to Feferman's EM