Extensionality
Top View
- Basic Set Theory
- Entscheidungsproblem
- Equality and Extensionality
- On the Semantics of Intensionality and Intensional Recursion
- The Foundations of Mathematics
- Identity and Intensionality in Univalent Foundations and Philosophy
- Three Extensional Models of Type Theory
- Subsets and Power Sets Sfr:Set:Sub: We Will Often Want to Compare Sets
- The Axiom of Choice in the Foundations of Mathematics John L
- Zermelo-Fraenkel Set Theory
- Philosophy of Mathematics Handout #2 the ZFC Axioms Russell's
- The Big Proof Agenda=1 Supported by SRI International
- ZF*-Extensionality Interprets Full ZF
- 5.1 Syntax of First Order Logic with Equality
- The Theory of the Foundations of Mathematics - 1870 to 1940
- The Next 700 Syntactical Models of Type Theory
- Quine on Necessity, Extensionality, and Essentialism
- The Relative Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis with the Zermelo-Fraenkel Axioms: the Constructible Sets L