Pages that link to "Item:Q3985091"

The following pages link to Sentences of type theory: the only sentences preserved under isomorphisms (Q3985091):

Displaying 3 items.

• Isomorphism is equality (Q740487) (← links)
• Definability and invariance (Q2454641) (← links)
• The strength of Mac Lane set theory (Q5946048) (← links)