nLab
Peter Aczel
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

webpage
category:
people
Created on November 24, 2011 17:23:11 by
Urs Schreiber
(131.174.40.116)
Edit
 Views:
Print

TeX

Source
 Linked from:
principle of equivalence
,
presentation axiom
,
constructive mathematics
,
predicative mathematics
,
ZFC
,
univalence axiom
,
inductive definition