Pages that link to "Item:Q5937851"
From MaRDI portal
The following pages link to Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851):
Displaying 8 items.
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) (← links)
- Relating Quine's NF to Feferman's EM (Q1288960) (← links)
- Increasing sentences in simple type theory (Q2363207) (← links)
- Consistency of strictly impredicative NF and a little more … (Q3066796) (← links)
- (Q4793025) (← links)
- Polymorphic type-checking for the ramified theory of types of Principia Mathematica (Q4924550) (← links)
- Cantorian models of predicative NF (Q6545088) (← links)