Reverse Mathematics: classifying theorems
Mathématiques inverses : classification des théorèmes
★
★
★
★
☆
4/5
Logique des mathématiques
Thema PBCD
New results on incompleteness and ordinal analysis
Nouveaux résultats sur l'incomplétude et l'analyse ordinale
★
★
★
★
★
5/5
Lecture series on concrete incompleteness-2: Proof theory of Peano Arithmetic
Série de conférences sur l'incomplétude concrète-2 : Théorie de la preuve de l'arithmétique de Peano
★
★
★
★
☆
4/5
On concrete incompleteness-4: Friedman style independence results for ordinals and finite trees
Sur l'incomplétude concrète-4 : résultats d'indépendance style Friedman pour les ordinaux et les arbres finis
★
★
★
★
☆
4/5
Lecture series on concrete incompleteness-5: Phase transitions
Série de conférences sur l'incomplétude concrète-5: Transitions de phase
★
★
★
★
☆
4/5
Lecture series on concrete incompleteness-3: Paris Harrington theorem
Série de conférences sur l'incomplétude concrète-3 : Théorème de Paris Harrington
★
★
★
★
☆
4/5
Lecture series on concrete incompleteness-1: Cut elimination theorem
Série de conférences sur l'incomplétude concrète-1 : Théorème d'élimination des coupures
★
★
★
★
☆
4/5
On the (non)existence of proof sytems in universal proof theory
Sur la (non)existence des systèmes de preuve en théorie de la preuve universelle
★
★
★
★
☆
4/5
Normal forms of proofs in natural deduction II: complexity
Formes normales des preuves en déduction naturelle II : complexité
★
★
★
★
☆
4/5
Normal forms of proofs in natural deduction I: existence and uniqueness
Formes normales de preuves en déduction naturelle I : existence et unicité
★
★
★
★
★
5/5
The Provability of Consistency: Debunking the Myth
La prouvabilité de la cohérence : Démystifier le mythe
★
★
★
★
☆
4/5
Juan P. Aguilera: The Pi^1_2 Consequences of a theory
Juan P. Aguilera: Les conséquences Pi^1_2 d'une théorie
★
★
★
★
☆
4/5
Saul Aaron Kripke: A Model-Theoretic Approach to Gödel’s Theorem
Saul Aaron Kripke : Une approche théorique des modèles du théorème de Gödel
★
★
★
★
★
5/5
Taishi Kurahashi: Inclusions between quantified provability logics
Taishi Kurahashi: Inclusions entre logiques de prouvabilité quantifiées
★
★
★
★
☆
4/5
Pavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versions
Pavel Pudlák: Théorèmes d'incomplétude pour les théories faibles de l'arithmétique et quelques versions plus fortes
★
★
★
★
☆
4/5
Lev D. Beklemishev: Reflection Algebras and Progressions
Lev D. Beklemishev: Algèbres de Réflexion et Progressions
★
★
★
★
★
5/5
Sam Sanders: Some theorems are more equal than others: a slow introduction to Reverse Mathematics
Sam Sanders : Certains théorèmes sont plus égaux que d'autres : une introduction lente aux mathématiques inverses
★
★
★
★
☆
4/5
Matthias Baaz: Kurt Gödel and Alfred Tarski:The Extremes of Logic
Matthias Baaz: Kurt Gödel et Alfred Tarski: Les extrêmes de la logique
★
★
★
★
☆
4/5
Matthias Baaz: Incompleteness and attempted proofs of consistency
Matthias Baaz : Incomplétude et tentatives de preuves de cohérence
★
★
★
★
☆
4/5
Joost J. Joosten: Iterated consistency, reflection and foundations of mathematics
Joost J. Joosten: cohérence itérée, réflexion et fondements des mathématiques
★
★
★
★
☆
4/5
David Fernandez-Duque: When Ackermann meets Goodstein
David Fernandez-Duque: Quand Ackermann rencontre Goodstein
★
★
★
★
☆
4/5
Anton Freund: Independence without computational strength
Anton Freund : Indépendance sans force computationnelle
★
★
★
★
☆
4/5
Andreas Weiermann: Cut elimination and provably recursive functions
Andreas Weiermann: Élimination des coupures et fonctions récursives prouvablement
★
★
★
★
☆
4/5
Sam Sanders: On two topics dear to Kurt Gödel
Sam Sanders: Sur deux sujets chers à Kurt Gödel
★
★
★
★
☆
4/5
Saeed Salehi: Some Fairies in the Incompleteness Wonderland
Saeed Salehi: Quelques fées au pays des merveilles de l'incomplétude
★
★
★
★
★
5/5
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
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
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