Implementation of mathematics in set theory - PDFSEARCH.IO - Document Search Engine

Implementation of mathematics in set theory
Results: 10

#	Item
1	Where The Wild Fractions Are: The Power Of A Bedtime (Math) Story : NPR Ed : NPR Add to Reading List Source URL: spatialintelligence.org Language: English - Date: 2015-10-09 19:44:50 Bedtime Math Summit New Jersey Set theory Forcing Implementation of mathematics in set theory
2	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
3	Preface It is a pleasure for me to have the opportunity to write a preface for this book on the foundations of nonstandard analysis by Vladimir Kanovei. It may seem that everything relevant has been said concerning this Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:07 Philosophy of mathematics Infinity Z notation Zermelo–Fraenkel set theory Internal set theory Set theory Forcing Implementation of mathematics in set theory Mathematical logic Mathematics Non-standard analysis
4	CS109A Notes for LectureSets Dened by membership relation 2. Atoms may not have members, but may be Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:18 General topology Abstract algebra Implementation of mathematics in set theory Mathematics Multiset Equivalence relation
5	Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2014-10-13 11:19:47 Partial equivalence relation Function Equivalence relation Finitary relation Lambda calculus Binary relation Total order Implementation of mathematics in set theory Preorder Mathematics Mathematical logic Order theory
6	Math[removed]SETS Worksheet (Ch 6) RELATIONSHIPS:  Inclusion (subset) Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2008-04-19 14:26:41 General topology Algebraic topology Sheaf Power set Vacuous truth Filter Implementation of mathematics in set theory Mathematics Topology Order theory
7	SOME RESULTS ON EIGENFUNCTIONS AND EIGENVECTORS Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-16 14:10:23 Binary relation Partition of a set Ordinal number Constructible universe Functions and mappings General topology Mathematical logic Implementation of mathematics in set theory Equivalence relation Mathematics Order theory Cardinal number
8	Foundational Math I – Segment 1 Michael L. Carroll Feb 17, 2003 Add to Reading List Source URL: www.csz.com Language: English - Date: 2002-12-14 09:24:51 Equivalence relation Binary relation Function Finitary relation Implementation of mathematics in set theory Trichotomy Mathematics Mathematical logic Order theory
9	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
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