
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



