Axiom of extensionality - PDFSEARCH.IO - Document Search Engine

Axiom of extensionality
Results: 5

#	Item
1	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
2	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
3	Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English Mathematical logic Mathematics Logic Automated theorem proving Z notation Set theory S Resolution Equality Mereology Axiom of extensionality
4	THE ITERATIVE CONCEPTION OF SET Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2009-09-06 21:19:38 Computability theory Complexity classes Urelements Z notation S Naive set theory Constructible universe Arithmetical hierarchy Axiom of extensionality Mathematical logic Mathematics Set theory
5	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. Add to Reading List Source URL: www.er.uqam.ca Language: French - Date: 2011-01-11 05:26:07 Ceteris paribus Axiom schema of specification Pierre Duhem Classical definition of probability Fallacy Axiom of choice Axiom of regularity Axiom of infinity Axiom of extensionality Mathematical logic Set theory Axioms of set theory