Lev D. Beklemishev: Strictly positive provability logics: recent progress and open questions
Lev D. Beklemishev: Logiques de prouvabilité strictement positives: progrès récents et questions ouvertes
★
★
★
★
★
5/5
Logic, Philosophy and Gödel
@logicphilosophyandgodel2253
Juliette C. Kennedy: Gödel and the Scope Problem: From Incompleteness to Extended Constructibility
Juliette C. Kennedy: Gödel et le problème de la portée : De l'incomplétude à la constructibilité étendue
★
★
★
★
☆
4/5
Juliet Floyd: Truth in Early Wittgenstein and Gödel
Juliet Floyd : La vérité chez le premier Wittgenstein et Gödel
★
★
★
★
☆
4/5
Julia F. Knight: Completions of PA and ω-models of KP
Julia F. Knight : Complétions de PA et ω-modèles de KP
★
★
★
★
☆
4/5
Joost J. Joosten: Minimal Logics for Incompleteness
Joost J. Joosten: Logiques minimales pour l'incomplétude
★
★
★
★
☆
4/5
James Walsh: On the hierarchy of natural theories
James Walsh: Sur la hiérarchie des théories naturelles
★
★
★
★
☆
4/5
Harvey Friedman: Aspects of Gödel incompleteness
Harvey Friedman: Aspects de l'incomplétude de Gödel
★
★
★
★
☆
4/5
Fedor Pakhomov: Could we make second-incompleteness theoremside condition free?
Fedor Pakhomov: Pourrions-nous rendre le théorème de seconde incomplétude sans condition latérale ?
★
★
★
☆
☆
3/5
Balthasar Grabmayr：A Step Towards Absolute Versions of Metamathematical Results
Balthasar Grabmayr : Un pas vers des versions absolues de résultats métamathématiques
★
★
★
★
☆
4/5
Volker Halbach: Self-reference, truth, and provability
Volker Halbach: Autoréférence, vérité et prouvabilité
★
★
★
★
★
5/5
Volker Halbach: Self-reference and intensionality in metamathematics
Volker Halbach: Autoréférence et intensionalité en métamathématiques
★
★
★
★
☆
4/5
Peter Koellner: On the Question of Whether the Mind Can be Mechanized
Peter Koellner: Sur la question de savoir si l'esprit peut être mécanisé
★
★
★
★
★
5/5
Pavel Pudlák: The journey from Peano Arithmetic to proof complexity
Pavel Pudlák: Le voyage de l'arithmétique de Peano à la complexité des preuves
★
★
★
★
☆
4/5
Michael Rathjen: Proof Theory: From Arithmetic to Set Theory
Michael Rathjen: Théorie de la preuve: De l'arithmétique à la théorie des ensembles
★
★
★
★
★
5/5
Anton Freund：Well ordering principles and a uniform Kruskal theorem
Anton Freund : Principes de bon ordre et un théorème uniforme de Kruskal
★
★
★
★
☆
4/5
Albert Visser: Provability Logic and Modalised Fixed Points
Albert Visser: Logique de la prouvabilité et points fixes modalises
★
★
★
★
☆
4/5
Albert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?
Albert Visser: Logique de Henkin cyclique : y a-t-il une vie au-delà de la troisième condition de Löb ?
★
★
★
★
★
5/5