Minimal Logics for Incompleteness
★
★
★
★
☆
4/5
Logic, Philosophy and Gödel
@logicphilosophyandgodel2253
Juliet Floyd: Truth in Early Wittgenstein and Gödel
★
★
★
★
☆
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
