Ralf Schindler: How many real numbers are there?
★
★
★
★
★
5/5
Mathematics
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
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
Completions of PA and ω-models of KP
★
★
★
★
☆
4/5
Self-reference, truth, and provability
★
★
★
★
☆
4/5
Provability Logic and Modalised Fixed Points
★
★
★
★
☆
4/5
Ali Enayat: Flexible Turing Machines
★
★
★
★
★
5/5
Continuous version of Bayes rule
★
★
★
★
☆
4/5
