<--- Back to Details
First PageDocument Content
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
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

Add to Reading List

Source URL: math.boisestate.edu

Download Document from Source Website

File Size: 959,98 KB

Share Document on Facebook

Similar Documents

Bedtime Math / Summit /  New Jersey / Set theory / Forcing / Implementation of mathematics in set theory

Where The Wild Fractions Are: The Power Of A Bedtime (Math) Story : NPR Ed : NPR

DocID: 1pXNU - View Document

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

Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals

DocID: 1plj5 - View Document

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

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

DocID: 15mtI - View Document

General topology / Abstract algebra / Implementation of mathematics in set theory / Mathematics / Multiset / Equivalence relation

CS109A Notes for LectureSets  De ned by membership relation 2.  Atoms may not have members, but may be 

DocID: 12DVG - View Document

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

Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract

DocID: RPc0 - View Document