Registry · Remark I.R18 established not_applicable

I.R18 — Proof-Theoretic Landscape Survey

Tabular survey of 11 approaches to self-hosting: ZFC, PA, Willard, Feferman, Girard, Altenkirch-Kaposi, Bocquet-Kaposi-Sattler, Joyal, Moerdijk-Palmgren, 2LTT, HoTT, tau.

Book I Part 18 Ch. 71

Dependency Graph

Depends on (4)

I.D77 I.D80 I.R17 I.T37

Depended on by (1)

I.R20

Lean Formalization

Module:

Symbol: