Pages that link to "Item:Q4836049"

The following pages link to The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049):

Displayed 1 item.

• Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) ‎ (← links)