Back to Results
First PageMeta Content
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
Add to Reading List

Document Date: 2009-02-12 12:52:19


Open Document

File Size: 410,74 KB

Share Result on Facebook