Categories 1 Introduction
★
★
★
★
★
5/5
Mathematics
Ali Enayat: Tight Theories
★
★
★
★
☆
4/5
Ralf Schindler: How many real numbers are there?
★
★
★
★
★
5/5
Fedor Pakhomov: Kripke-Platek set theory
★
★
★
★
☆
4/5
Wilfried Sieg: Gödel in AProS
★
★
★
★
☆
4/5
Sam Sanders: On two topics dear to Kurt Gödel
★
★
★
★
☆
4/5
Joost J. Joosten: Minimal Logics for Incompleteness
★
★
★
★
☆
4/5
James Walsh: On the hierarchy of natural theories
★
★
★
★
☆
4/5
Harvey Friedman: Aspects of Gödel incompleteness
★
★
★
★
☆
4/5
Emil Jerábek: Hereditarily bounded sets
★
★
★
★
☆
4/5
Ali Enayat: Flexible Turing Machines
★
★
★
★
★
5/5
