Back to Results
First PageMeta Content
Ordinal numbers / Proof theory / Ordinal analysis / Constructible universe / Impredicativity / Function / Model theory / Zermelo–Fraenkel set theory / Kripke–Platek set theory / Mathematics / Mathematical logic / Logic


An extended predicative definition of the Mahlo universe Reinhard Kahle
Add to Reading List

Document Date: 2010-02-07 19:53:07


Open Document

File Size: 226,58 KB

Share Result on Facebook
UPDATE