Pages that link to "Item:Q3947653"
From MaRDI portal
The following pages link to On the consistency of an impredicative subsystem of Quine's NF (Q3947653):
Displaying 8 items.
- Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) (← links)
- Increasing sentences in simple type theory (Q2363207) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- Consistency of strictly impredicative NF and a little more … (Q3066796) (← links)
- Term models for weak set theories with a universal set (Q3784063) (← links)
- The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049) (← links)
- Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)
