Mathématiques
Rings 10 Tensor products of abelian groups
Rings 10 Produits tensoriels de groupes abéliens
★
★
★
★
★
5/5
Rings and modules 5 Examples of unique factorizations
Anneaux et modules 5 Exemples de factorisations uniques
★
★
★
★
★
5/5
REVISION LESSON 4 ON SCALES OR LEVELS OF MEASUREMENT: NOMINAL || ORDINAL || INTERVAL || RATIO.
LEÇON DE RÉVISION 4 SUR LES ÉCHELLES OU NIVEAUX DE MESURE : NOMINAL || ORDINAL || INTERVALLE || RAPPORT
★
★
★
★
☆
4/5
Rings and midules 3: Burnside ring and rings of differential operators
Anneaux et midules 3 : Anneau de Burnside et anneaux d'opérateurs différentiels
★
★
★
★
★
5/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
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