![[1246] The model theory of perfectoid fields](/media/cache/video_light/uploads/video/SeminaireBourbaki.png)
![[1245] Model theory, differential algebra and functional transcendence](/media/cache/video_light/uploads/video/SeminaireBourbaki.jpg)
published on December 9, 2025
[1245] Model theory, differential algebra and functional transcendence
By Amador Martin-Pizarro
Quantum formal methods
By Ross Duncan
Mathematics
and Interactions
Information about the video
- Date of recording 25/05/2021
- Date of publication 17/06/2021
- Institution CIRM
- Licence CC BY NC ND
- Language English
- Director(s) Guillaume Hennenfent
- Format MP4
Citation data
- DOI 10.24350/CIRM.V.19759503
- Cite this video Duncan, Ross (25/05/2021). Quantum formal methods. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19759503
- URL https://dx.doi.org/10.24350/CIRM.V.19759503
Domain(s)
MSC codes
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
