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

Company

Volkswagen / Russell / /

/

Facility

Computer Science University of Wales Swansea Singleton Park / /

Organization

Portuguese Science Foundation / University of Wales / Computer Science University / FCT LogICCC / /

Person

William Alvin Howard / Solomon Feferman / Reinhard Kahle Anton Setzer / Kurt Schu / Saul Kripke / Wolfram Pohlers / Jon Barwise / E. Griffor / Gerhard Ja / Wilfried Buchholz / Richard Platek / Michael Rathjen / Hermann Weyl / Heinz Bachmann / Nova de Lisboa / /

Position

first author / second author / productive researcher / /

Technology

dom / /

SocialTag