Historical
Tier-0 as a fixed-point admissibility grand unified theory of mathematics
Authority role
Tier-0 as a fixed-point admissibility grand unified theory of mathematics
Related research programmes
Cite this paper
Jeremy Rodgers. Tier-0 as a fixed-point admissibility grand unified theory of mathematics.