Back to Results
First PageMeta Content
Set theory / Type theory / Model theory / Z notation / Automath / Axiom of choice / Axiom schema of replacement / New Foundations / Axiom / Mathematical logic / Logic / Mathematics


Is ZF a hack? Comparing the complexity of some (formalist interpretations of )
Add to Reading List

Document Date: 2008-04-30 04:22:51

Open Document

File Size: 162,33 KB

Share Result on Facebook

Facility

University of Nijmegen Toernooiveld / Automath restaurant / /

IndustryTerm

machinery / logical systems / foundational systems / simpler systems / proper type systems / kosher food / /

MarketIndex

set 20 / /

Organization

University of Nijmegen Toernooiveld / Freek Wiedijk Department of Computer Science / /

Person

Stefan Berghofer / Randall Holmes / Bob Solovay / Peter Aczel / Mark Balaguer / /

Position

EQ_MP / /

Technology

http / /

URL

www.advogato.org/person/raph/diary.html?start=265 / http /

SocialTag