Mathématiques

1924 tuit · page 33/49
Sciences formelles & physiques Mathématiques
FR

Rings and modules 2: Group rings

Richard E Borcherds
23 min
5/5
AnneauxGroupesAlgèbre
Sciences formelles & physiques Mathématiques
FR

Rings and modules 1 Introduction

Richard E Borcherds
30 min
5/5
AnneauxModulesAlgèbre
Sciences formelles & physiques Mathématiques
FR

Categories 5 Limits and colimits

Richard E Borcherds
31 min
5/5
Théorie Des CatégoriesLimitesColimites
Sciences formelles & physiques Mathématiques
FR

Categories 4 Adjoint functors

Richard E Borcherds
15 min
4/5
CatégorieFoncteur AdjointAlgèbre
Sciences formelles & physiques Mathématiques
FR

Categories 3 Natural transformations

Richard E Borcherds
15 min
5/5
CatégorieFoncteurTransformation Naturelle
Sciences formelles & physiques Mathématiques
FR

Categories 2: Functors

Richard E Borcherds
20 min
5/5
Théorie Des CatégoriesFoncteursMathématiques
Sciences formelles & physiques Mathématiques
FR

Categories 1 Introduction

Richard E Borcherds
24 min
5/5
Théorie Des CatégoriesMathématiquesCours
Sciences formelles & physiques Mathématiques
FR

Ali Enayat: Tight Theories

Ali Enayat
55 min
5/5
Théorie Des ModèlesInterprétabilitéArithmétique De Peano
Sciences formelles & physiques Mathématiques
FR

Fedor Pakhomov: Kripke-Platek set theory

Fedor Pakhomov
102 min
4/5
Théorie Des EnsemblesKripke-PlatekLogique Mathématique
Sciences formelles & physiques Mathématiques
FR

Wilfried Sieg: Gödel in AProS

Wilfried Sieg
58 min
4/5
GödelAProSLogique Mathématique
Sciences formelles & physiques Mathématiques
FR

Minimal Logics for Incompleteness

Joost J. Joosten
65 min
4/5
Logique ModaleThéorèmes D'incomplétudeLogique De La Prouvabilité
Sciences formelles & physiques Mathématiques
FR

Emil Jerábek: Hereditarily bounded sets

Emil Jerábek
56 min
4/5
Logique MathématiqueThéorie Des EnsemblesIndécidabilité