Inequivalence of the fragments of new foundations

DOI10.1007/BF02011635zbMath0468.03034MaRDI QIDQ3921216

Urs Oswald

Publication date: 1981

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137977

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• New Foundations for Mathematical Logic
• Unnamed Item

This page was built for publication: Inequivalence of the fragments of new foundations