Pages that link to "Extensionality"
Jump to navigation
Jump to search
The following pages link to Extensionality:
Displaying 24 items.
- Axiom of choice (← links)
- Lambda calculus (← links)
- Set (mathematics) (← links)
- Axiom of extensionality (← links)
- Equality (mathematics) (← links)
- Fixed-point combinator (← links)
- McCarthy 91 function (← links)
- Apollonius of Perga (← links)
- Intuitionistic type theory (← links)
- Mereology (← links)
- Semilattice (← links)
- New Foundations (← links)
- Non-well-founded set theory (← links)
- Robinson arithmetic (← links)
- Myhill isomorphism theorem (← links)
- Church encoding (← links)
- Extension (predicate logic) (← links)
- Constructive set theory (← links)
- Whitehead's point-free geometry (← links)
- S (set theory) (← links)
- Lambda calculus definition (← links)
- Refocusing (semantics) (← links)
- Testwiki:Reference desk/Archives/Mathematics/2007 October 12 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2009 August 26 (← links)