NFSI IS NOT INCLUDED IN NF3

DOI10.1017/JSL.2015.29zbMATH Open1379.03010OpenAlexW2519087012MaRDI QIDQ2976373

Marcel Crabbé

Publication date: 28 April 2017

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2015.29

zbMATH Keywords

NFnew foundationsimpredicative NF

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• ON THE REDUCTION OF TYPE THEORY

This page was built for publication: NFSI IS NOT INCLUDED IN NF₃

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2976373)