![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 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](https://www.pdfsearch.io/img/bff096696e383a783284c4a558bc5049.jpg) Date: 2009-02-12 12:52:19Ordinal 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 ordinalsAdd to Reading ListSource URL: www.paultaylor.euDownload Document from Source Website File Size: 410,74 KBShare Document on Facebook
|