Urelements - PDFSEARCH.IO - Document Search Engine

Urelements
Results: 12

#	Item
1	Basic set theory Richard Pettigrew January 26, 2012 1 Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory S Constructible universe Zermelo set theory Naive set theory Axiom of empty set Mathematical logic Set theory Mathematics
2	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
3	A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] Add to Reading List Source URL: hp.vector.co.jp Language: English - Date: 2004-09-05 11:07:18 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory Constructible universe Axiom of choice First-order logic Axiom Function Mathematical logic Logic Mathematics
4	Nonstandard Set Theories and Information Management VAROL AKMAN Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2006-07-04 07:58:01 Axioms of set theory Z notation Urelements Self-reference Zermelo–Fraenkel set theory S Axiom of choice New Foundations Axiom of regularity Mathematical logic Set theory Mathematics
5	Proof, Sets, and Logic M. Randall Holmes November 30, 2012 Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 21:29:32 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Axiom of choice Zermelo set theory S Mathematical logic Set theory Mathematics
6	D:h800tsmelo-Fraenkelmelo-FraenkelSetTheory.wpd Add to Reading List Source URL: math.sfsu.edu Language: English - Date: 2008-04-27 17:44:03 Z notation Axioms of set theory Set theory Predicate logic Urelements Zermelo–Fraenkel set theory S Constructible universe Peano axioms Mathematical logic Mathematics Logic
7	This book is dedicated to Prabir Roy, Louis McAuley, Jonathan Seldin, Anil Nerode, and Maurice Boffa, my teachers, and to W. V. O. Quine and R. B. Jensen, the founders of this style of set theory. Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 11:20:44 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Implementation of mathematics in set theory S Ordinal number Mathematical logic Set theory Mathematics
8	Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:52 Axioms of set theory Z notation Urelements Cardinal numbers Infinity Zermelo set theory Zermelo–Fraenkel set theory S Axiom of choice Mathematical logic Set theory Mathematics
9	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2009-08-02 17:58:25 Urelements New Foundations Type theory Willard Van Orman Quine Lambda calculus Zermelo–Fraenkel set theory Functor Cartesian closed category Category theory Mathematical logic Mathematics Logic
10	PDF Document Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 11:20:44 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Implementation of mathematics in set theory S Ordinal number Mathematical logic Set theory Mathematics