Formal & Physical Sciences MathematicsENRIngs 22 Hensel's lemmaRichard E BorcherdsOctober 30, 2021 18 min★ ★ ★ ★ ★ 5/5Hensel's LemmaP-Adic NumbersPower Series
Formal & Physical Sciences MathematicsENRings 21 Formal power seriesRichard E BorcherdsOctober 29, 2021 38 min★ ★ ★ ★ ★ 5/5Formal Power SeriesNoetherian RingsUnique Factorization Domain
Formal & Physical Sciences MathematicsENRings 20 ResultantsRichard E BorcherdsOctober 28, 2021 23 min★ ★ ★ ★ ★ 5/5ResultantDiscriminantSylvester Matrix
Formal & Physical Sciences MathematicsENRIngs 19 Symmetric functionsRichard E BorcherdsOctober 27, 2021 27 min★ ★ ★ ★ ★ 5/5Symmetric FunctionsElementary Symmetric PolynomialsNewton's Identities
Formal & Physical Sciences MathematicsENWhy do we need the Lebesgue integral in probability?Dr. Eitan FarciOctober 26, 2021 41 min★ ★ ★ ★ ☆ 4/5Lebesgue IntegralRiemann IntegralProbability Theory
Formal & Physical Sciences MathematicsENRings 18 Hilbert's theoremsRichard E BorcherdsOctober 23, 2021 30 min★ ★ ★ ★ ★ 5/5Hilbert's Basis TheoremNoetherian RingsInvariant Theory
Formal & Physical Sciences MathematicsENRings 17 Noetherian ringsRichard E BorcherdsOctober 22, 2021 27 min★ ★ ★ ★ ★ 5/5Noetherian RingsCommutative AlgebraRing Theory
Formal & Physical Sciences MathematicsENRings 16 Factorization of polynomialsRichard E BorcherdsOctober 21, 2021 25 min★ ★ ★ ★ ★ 5/5Polynomial FactorizationIrreducibilityEisenstein's Criterion
Formal & Physical Sciences MathematicsENRIngs 15 PolynomialsRichard E BorcherdsOctober 20, 2021 29 min★ ★ ★ ★ ★ 5/5PolynomialsUnique FactorizationRings
Formal & Physical Sciences MathematicsENContinuous functions from a compact space to R are boundedDr. Eitan FarchiOctober 18, 2021 37 min★ ★ ★ ☆ ☆ 3/5TopologyCompactnessContinuous Functions
Formal & Physical Sciences MathematicsENRIngs 14 Limits and exactnessRichard E BorcherdsOctober 16, 2021 22 min★ ★ ★ ★ ★ 5/5RingsModulesLimits
Formal & Physical Sciences MathematicsENRings 13 Colimits and exactnessRichard E BorcherdsOctober 15, 2021 33 min★ ★ ★ ★ ★ 5/5Category TheoryColimitsExact Sequences
Formal & Physical Sciences MathematicsENRings 12 Duality and injective modulesRichard E BorcherdsOctober 13, 2021 50 min★ ★ ★ ★ ★ 5/5DualityInjective ModulesProjective Modules
Formal & Physical Sciences MathematicsENCategories 6 Monoidal categoriesRichard E BorcherdsOctober 10, 2021 23 min★ ★ ★ ★ ★ 5/5Monoidal CategoriesCategory TheorySymmetric Monoidal Categories
Formal & Physical Sciences MathematicsENRings 11 Tensor products of modulesRichard E BorcherdsOctober 9, 2021 26 min★ ★ ★ ★ ★ 5/5Tensor ProductModulesRings
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