scientific article; zbMATH DE number 3250586
From MaRDI portal
Publication:5537402
Cited in
(8)- Increasing sentences in simple type theory
- Representation of functions and total antisymmetric relations in monadic third order logic
- Inequivalence of the fragments of new foundations
- The 3-stratifiable theorems of \(\text{NFU}_\infty\)
- Subsystems of Quine's ``New Foundations with predicativity restrictions
- Strong Ambiguity
- A combinatorial result related to the consistency of New Foundations
- Systems of combinatory logic related to Quine's `New Foundations'
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5537402)
