Mathematical logic
Thema PBCD
Soundness Spectra
★
★
★
★
☆
4/5
The Art of Ordinal Analysis
★
★
★
★
★
5/5
Essential Hereditary Undecidability
★
★
★
★
☆
4/5
The Provability of Consistency: Debunking the Myth
★
★
★
★
☆
4/5
What is concrete incompleteness?
★
★
★
★
☆
4/5
Ali Enayat: Tight Theories
★
★
★
★
☆
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
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