The following pages link to On ordered pairs (Q5835095):
Displayed 8 items.
- Amphi-ZF : axioms for Conway games (Q412064) (← links)
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- Definition of the concept 'vector' in set theoretic programming languages (Q1229747) (← links)
- The categoricity question of certain grand logics (Q2651477) (← links)
- On the strength of a weak variant of the axiom of counting (Q5108092) (← links)
- An axiomatic explanation of complete self-reproduction (Q5550324) (← links)
- Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)