Formal & Physical Sciences MathematicsENRings 10 Tensor products of abelian groupsRichard E BorcherdsOctober 8, 2021 27 min★ ★ ★ ★ ★ 5/5Tensor ProductsAbelian GroupsCategory Theory
Formal & Physical Sciences MathematicsENRings 9 Projective modulesRichard E BorcherdsOctober 7, 2021 34 min★ ★ ★ ★ ★ 5/5Projective ModulesHomological AlgebraVector Bundles
Formal & Physical Sciences MathematicsENRings 8 Free modulesRichard E BorcherdsOctober 6, 2021 21 min★ ★ ★ ★ ★ 5/5Free ModulesRing TheoryRank
Formal & Physical Sciences MathematicsENRIngs 7: LocalizationRichard E BorcherdsOctober 3, 2021 23 min★ ★ ★ ★ ★ 5/5LocalizationRing TheoryCommutative Algebra
Formal & Physical Sciences MathematicsENRings 6 Prime and maximal idealsRichard E BorcherdsOctober 2, 2021 29 min★ ★ ★ ★ ★ 5/5Prime IdealsMaximal IdealsSpectrum of a Ring
Formal & Physical Sciences MathematicsENRings and modules 5 Examples of unique factorizationsRichard E BorcherdsOctober 1, 2021 22 min★ ★ ★ ★ ★ 5/5Unique FactorizationGaussian IntegersQuadratic Fields
Formal & Physical Sciences MathematicsENRings and modules 4 Unique factorizationRichard E BorcherdsSeptember 30, 2021 38 min★ ★ ★ ★ ★ 5/5Unique FactorizationIntegral DomainsEuclidean Domains
Formal & Physical Sciences MathematicsENREVISION LESSON 4 ON SCALES OR LEVELS OF MEASUREMENT: NOMINAL || ORDINAL || INTERVAL || RATIO.Prof. Lydiah WambuguSeptember 30, 2021 14 min★ ★ ★ ★ ☆ 4/5Measurement ScalesNominalOrdinal
Formal & Physical Sciences MathematicsENRings and midules 3: Burnside ring and rings of differential operatorsRichard E BorcherdsSeptember 29, 2021 18 min★ ★ ★ ★ ★ 5/5Burnside RingDifferential OperatorsRing Theory
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 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 MathematicsENJuliette C. Kennedy: Gödel and the Scope Problem: From Incompleteness to Extended ConstructibilityJuliette C. KennedyAugust 22, 2021 49 min★ ★ ★ ★ ☆ 4/5GödelSet TheoryConstructibility
Formal & Physical Sciences MathematicsENJulia F. Knight: Completions of PA and ω-models of KPJulia F. KnightAugust 22, 2021 44 min★ ★ ★ ★ ☆ 4/5Mathematical LogicPeano ArithmeticKripke-Platek Set Theory