Carmin.tv

Mathématiques
et Interactions

Merci de nous donner votre avis pour que nous puissions améliorer votre expérience !
Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models
5 videos

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Aggregation-Diffusion Equations & Collective Behavior: Analysis, Numerics and Applications / Conférence Chaire Jean Morlet: Equations d'agrégation-diffusion et comportement collectif: Analyse, schémas numériques et applications
5 videos

Aggregation-Diffusion Equations & Collective Behavior: Analysis, Numerics and Applications / Conférence Chaire Jean Morlet: Equations d'agrégation-diffusion et comportement collectif: Analyse, schémas numériques et applications

2024 - T2 - Group Actions and Rigidity: Around the Zimmer Program
10 videos

2024 - T2 - Group Actions and Rigidity: Around the Zimmer Program

Cours Sorbonne Université
30 videos

Cours Sorbonne Université

Toutes les collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
Tous les instituts
Type Theory, Constructive Mathematics and Geometric Logic / Théorie des types, mathématiques constructives et logique géométrique

Collection Type Theory, Constructive Mathematics and Geometric Logic / Théorie des types, mathématiques constructives et logique géométrique

Organisateur(s) Coquand, Thierry ; Negri, Sara ; Rathjen, Michael ; Schuster, Peter
Date(s) 01/05/2023 - 05/05/2023
URL associée https://conferences.cirm-math.fr/2319.html
00:00:00 / 00:00:00
1 5

On a decomposition of WKL!!

De Takako Nemoto

Constructive reverse mathematics aims to decompose mathematical theorems into choice principles and logical principles. In this talk, we decompose a version of weak Koenig's lemma with a uniqueness condition called WKL!!.

Informations sur la vidéo

Données de citation

Domaine(s)

Bibliographie

  • FUJIWARA, Makoto et NEMOTO, Takako. On the decomposition of WKL!!. Philosophical Transactions of the Royal Society A, 2023, vol. 381, no 2248, p. 20220010. - http://doi.org/10.1098/rsta.2022.0010

Codes MSC

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Copyright Carmin.tv 2024
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour améliorer votre expérience. En savoir plus sur notre politique de confidentialité.
Accepter
Donner son avis