Les Modules OP [#3] : le Théorème de Łoś

[@latarte3931]

C'est dingue la quantité de travail qu'il y a derrière chaque vidéo ! Sur le plan visuel/rythme que sur le plan mathématique, c'est beaucoup beaucoup de fraîcheur dans le paysage mathématique sur youtube. J'espère que tu es consciente des masterclass que tu es en train de nous pondre. Bonne continuation en tout cas !

[@phantumogus]

C'est super gentil merci !! Masterclass je ne sais pas mais contente que ça plaise

[@Sara-tj9yg]

Super bonne video, merci !!

[@tHekilLerProDu72]

Le théorème de Los a aussi et surtout une très grosse importance sur les classes élémentaires. Une des conséquence de ce théorème c'est qu'un ultraproduit sur un ultrafiltre non principal de modèles d'une théorie est un modèle de cette théorie. Autrement dit les classes élémentaires sont stables par passage à l'ultraproduit. Et ça c'est important parce que ça permet de construire des modèles non standard comme pour l'analyse par exemple.

[@phantumogus]

Exactement, c'est ce que j'ai vu en cours récemment haha

[@g00dm4nChimera]

la complémentarité des ultra produits bicalculiques en n dimension... quelle plaie... surtout par récurrence axiomique... (goofy aaah imposteur)