Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
21 videos
Balzan Conference on Open Issues in Gravitation
5 videos
Les amis de l’IHES
5 videos
3rd Edition of Mathematics for and by Large Language Models
4 videos
Exposition "À la découverte de la vie de Joseph Fourier"
All the collections
All the institutions
MSC
> 12Lxx Connections with logic > 12L05 Decidability
Videos linked to 12L05 Decidability
01:00:45
published on
April 30, 2026
Walking through the fields of arithmetic
By Jochen Koenigsmann
published on
February 5, 2026
[1246] The model theory of perfectoid fields
By Sylvy Anscombe
01:02:55
Transfer of decidability for existential theories of (valued) fields
By Sylvy Anscombe
More +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback
![[1246] The model theory of perfectoid fields](/media/cache/video_light/uploads/video/SeminaireBourbaki.png)
