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):

Displaying 3 items.

• Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) (← links)
• A fixed point theory over stratified truth (Q6047658) (← links)
• Strong Ambiguity (Q6094138) (← links)