Mathématiques
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
Ulrich Kohlenbach: From the Foundations of Mathematics to Applications in Core Mathematics
Ulrich Kohlenbach: Des fondements des mathématiques aux applications en mathématiques fondamentales
★
★
★
★
★
5/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
Michael Rathjen: Hilbert’s program and (semi) Intuitionism
Michael Rathjen: Le programme de Hilbert et le (semi) intuitionnisme
★
★
★
★
☆
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
Ralf Schindler: How many real numbers are there?
Ralf Schindler : Combien y a-t-il de nombres réels ?
★
★
★
★
★
5/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
Fedor Pakhomov: Kripke-Platek set theory
Fedor Pakhomov: Théorie des ensembles de Kripke-Platek
★
★
★
★
☆
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
Stanislaw Krajewski: Can our understanding of numbers be programmed into a computer?
Stanislaw Krajewski : Notre compréhension des nombres peut-elle être programmée dans un ordinateur ?
★
★
★
★
☆
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
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
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
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
The nucleus of a cooperative game - can it be used the way Shapley was used in ML?
Le noyau d'un jeu coopératif - peut-il être utilisé de la même manière que Shapley l'a été en ML ?
★
★
★
★
☆
4/5