Formal & Physical Sciences MathematicsENRings and modules 2: Group ringsRichard E BorcherdsSeptember 28, 2021 23 min★ ★ ★ ★ ★ 5/5Group RingsMonoid RingsIdempotents
Formal & Physical Sciences MathematicsENRings and modules 1 IntroductionRichard E BorcherdsSeptember 27, 2021 30 min★ ★ ★ ★ ★ 5/5Ring TheoryModulesAbstract Algebra
Formal & Physical Sciences MathematicsENCategories 5 Limits and colimitsRichard E BorcherdsSeptember 24, 2021 31 min★ ★ ★ ★ ★ 5/5Category TheoryLimitsColimits
Formal & Physical Sciences MathematicsENCategories 4 Adjoint functorsRichard E BorcherdsSeptember 23, 2021 15 min★ ★ ★ ★ ★ 5/5Category TheoryAdjoint FunctorsFree Functor
Formal & Physical Sciences MathematicsENCategories 3 Natural transformationsRichard E BorcherdsSeptember 22, 2021 15 min★ ★ ★ ★ ★ 5/5Category TheoryNatural TransformationsNatural Isomorphisms
Formal & Physical Sciences MathematicsENCategories 2: FunctorsRichard E BorcherdsSeptember 21, 2021 20 min★ ★ ★ ★ ★ 5/5Category TheoryFunctorsMathematics
Formal & Physical Sciences MathematicsENCategories 1 IntroductionRichard E BorcherdsSeptember 20, 2021 24 min★ ★ ★ ★ ★ 5/5Category TheoryMathematicsAlgebra
Formal & Physical Sciences MathematicsENJuan P. Aguilera: The Pi^1_2 Consequences of a theoryJuan P. AguileraAugust 31, 2021 40 min★ ★ ★ ★ ☆ 4/5Proof TheoryOrdinal AnalysisDilators
Formal & Physical Sciences MathematicsENSaul Aaron Kripke: A Model-Theoretic Approach to Gödel’s TheoremSaul Aaron KripkeAugust 30, 2021 29 min★ ★ ★ ★ ★ 5/5Gödel's TheoremModel TheoryLogic
Formal & Physical Sciences MathematicsENTaishi Kurahashi: Inclusions between quantified provability logicsTaishi KurahashiAugust 26, 2021 56 min★ ★ ★ ★ ☆ 4/5Provability LogicModal LogicArithmetic
Formal & Physical Sciences MathematicsENUlrich Kohlenbach: From the Foundations of Mathematics to Applications in Core MathematicsUlrich KohlenbachAugust 24, 2021 118 min★ ★ ★ ★ ★ 5/5Proof TheoryProof MiningFunctional Interpretation
Formal & Physical Sciences MathematicsENPavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versionsPavel PudlákAugust 24, 2021 60 min★ ★ ★ ★ ☆ 4/5Gödel's Incompleteness TheoremsWeak ArithmeticProof Theory
Formal & Physical Sciences MathematicsENMichael Rathjen: Hilbert’s program and (semi) IntuitionismMichael RathjenAugust 24, 2021 50 min★ ★ ★ ★ ☆ 4/5Hilbert's ProgramSemi-IntuitionismConstructive Set Theory
Formal & Physical Sciences MathematicsENLev D. Beklemishev: Reflection Algebras and ProgressionsLev D. BeklemishevAugust 24, 2021 138 min★ ★ ★ ★ ☆ 4/5Proof TheoryReflection PrinciplesOrdinal Analysis
Formal & Physical Sciences MathematicsENAli Enayat: Tight TheoriesAli EnayatAugust 24, 2021 55 min★ ★ ★ ★ ☆ 4/5Mathematical LogicInterpretabilityPeano Arithmetic
Formal & Physical Sciences MathematicsENSam Sanders: Some theorems are more equal than others: a slow introduction to Reverse MathematicsSam SandersAugust 23, 2021 94 min★ ★ ★ ★ ☆ 4/5Reverse MathematicsMathematical LogicComputability Theory
Formal & Physical Sciences MathematicsENRalf Schindler: How many real numbers are there?Ralf SchindlerAugust 23, 2021 83 min★ ★ ★ ★ ★ 5/5Set TheoryContinuum HypothesisCardinality
Humanities, Social Sciences & Thought MathematicsENMatthias Baaz: Kurt Gödel and Alfred Tarski: The Extremes of LogicMatthias BaazAugust 23, 2021 57 min★ ★ ★ ★ ☆ 4/5Kurt GödelAlfred TarskiMathematical Logic
Formal & Physical Sciences MathematicsENMatthias Baaz: Incompleteness and attempted proofs of consistencyMatthias BaazAugust 23, 2021 65 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessConsistency
Formal & Physical Sciences MathematicsENJoost J. Joosten: Iterated consistency, reflection and foundations of mathematicsJoost J. JoostenAugust 23, 2021 100 min★ ★ ★ ★ ☆ 4/5Gödel's Incompleteness TheoremsTuring ProgressionsProvability Logic
Formal & Physical Sciences MathematicsENFedor Pakhomov: Kripke-Platek set theoryFedor PakhomovAugust 23, 2021 102 min★ ★ ★ ★ ☆ 4/5Set TheoryKripke-PlatekComputability
Formal & Physical Sciences MathematicsENDavid Fernandez-Duque: When Ackermann meets GoodsteinDavid Fernandez-DuqueAugust 23, 2021 62 min★ ★ ★ ★ ☆ 4/5Ackermann FunctionGoodstein's TheoremProof Theory
Formal & Physical Sciences MathematicsENAnton Freund: Independence without computational strengthAnton FreundAugust 23, 2021 54 min★ ★ ★ ★ ☆ 4/5IndependenceProof TheoryOrdinal Analysis
Formal & Physical Sciences MathematicsENAndreas Weiermann: Cut elimination and provably recursive functionsAndreas WeiermannAugust 23, 2021 111 min★ ★ ★ ★ ☆ 4/5Proof TheoryCut EliminationProvably Recursive Functions
Formal & Physical Sciences MathematicsENWilfried Sieg: Gödel in AProSWilfried SiegAugust 22, 2021 58 min★ ★ ★ ★ ☆ 4/5GödelAProSLogic
Humanities, Social Sciences & Thought MathematicsENStanislaw Krajewski: Can our understanding of numbers be programmed into a computer?Stanislaw KrajewskiAugust 22, 2021 64 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessPhilosophy of Mathematics
Formal & Physical Sciences MathematicsENSam Sanders: On two topics dear to Kurt GödelSam SandersAugust 22, 2021 55 min★ ★ ★ ★ ☆ 4/5Reverse MathematicsHigher-Order ArithmeticCoding
Formal & Physical Sciences MathematicsENSaeed Salehi: Some Fairies in the Incompleteness WonderlandSaeed SalehiAugust 22, 2021 42 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessMathematical Logic
Formal & Physical Sciences MathematicsENMinimal Logics for IncompletenessJoost J. JoostenAugust 22, 2021 65 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessModal Logic
Formal & Physical Sciences MathematicsENLev D. Beklemishev: Strictly positive provability logics: recent progress and open questionsLev D. BeklemishevAugust 22, 2021 57 min★ ★ ★ ★ ☆ 4/5Provability LogicModal LogicGödel
Formal & Physical Sciences MathematicsENJames Walsh: On the hierarchy of natural theoriesJames WalshAugust 22, 2021 55 min★ ★ ★ ★ ☆ 4/5Mathematical LogicConsistency StrengthReflection Principles
Formal & Physical Sciences MathematicsENHarvey Friedman: Aspects of Gödel incompletenessHarvey FriedmanAugust 22, 2021 74 min★ ★ ★ ★ ☆ 4/5Gödel IncompletenessMathematical LogicInterpretability
Formal & Physical Sciences MathematicsENGödel and the Scope Problem: From Incompleteness to Extended ConstructibilityJuliette C. KennedyAugust 22, 2021 49 min★ ★ ★ ★ ☆ 4/5GödelSet TheoryConstructibility
Formal & Physical Sciences MathematicsENFedor Pakhomov: Could we make second-incompleteness theoremside condition free?Fedor PakhomovAugust 22, 2021 45 min★ ★ ★ ☆ ☆ 3/5Gödel's Incompleteness TheoremsMathematical LogicProof Theory
Formal & Physical Sciences MathematicsENEmil Jerábek: Hereditarily bounded setsEmil JerábekAugust 22, 2021 56 min★ ★ ★ ★ ☆ 4/5Set TheoryDecidabilityModel Theory
Formal & Physical Sciences MathematicsENCompletions of PA and ω-models of KPJulia F. KnightAugust 22, 2021 44 min★ ★ ★ ★ ☆ 4/5Mathematical LogicPeano ArithmeticKripke-Platek Set Theory
Formal & Physical Sciences MathematicsENBalthasar Grabmayr:A Step Towards Absolute Versions of Metamathematical ResultsBalthasar GrabmayrAugust 22, 2021 52 min★ ★ ★ ★ ☆ 4/5Gödel's Incompleteness TheoremsTarski's TheoremFormalization
Formal & Physical Sciences MathematicsENWell ordering principles and a uniform Kruskal theoremAnton FreundAugust 21, 2021 124 min★ ★ ★ ★ ★ 5/5Ordinal AnalysisReverse MathematicsKruskal's Theorem
Formal & Physical Sciences MathematicsENVolker Halbach: Self-reference and intensionality in metamathematicsVolker HalbachAugust 21, 2021 59 min★ ★ ★ ★ ☆ 4/5Self-ReferenceIntensionalityMetamathematics
Formal & Physical Sciences MathematicsENSelf-reference, truth, and provabilityVolker HalbachAugust 21, 2021 123 min★ ★ ★ ★ ☆ 4/5Self-ReferenceTruthProvability