Conditional Simulation Using Diffusion Schrödinger Bridges
Shi, Y
De Bortoli, V
Deligiannidis, G
Doucet, A
Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, UAI 2022
1792-1802
(01 Jan 2022)
Primed to resolve: A single cell atlas of the shoulder capsule reveals a cellular basis for resolving inflammatory fibrosis
Ng, M
Borst, R
Gacaferi, H
Davidson, S
Machado, C
Reekie, I
Attar, M
Windell, D
Kurowska-Stolarska, M
MacDonald, L
Alivernini, S
Garvilles, M
Jansen, K
Bhalla, A
Lee, A
Charlesworth, J
Chowdhury, R
Klenerman, P
Powell, K
Hackstein, C
group, I
Furniss, D
Rees, J
Gilroy, D
Coles, M
Carr, A
Sansom, S
Buckley, C
Dakin, S
The computational complexity of knot genus in a fixed 3-manifold
Lackenby, M
Yazdi, M
Proceedings of the London Mathematical Society
volume 126
issue 3
837-879
(01 Mar 2023)
Deep kernel machines via the kernel reparametrization trick
Mitrovic, J
Sejdinovic, D
Teh, Y
5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings
(01 Jan 2017)
A category-theoretic proof of the ergodic decomposition theorem
Moss, S
Perrone, P
Ergodic Theory and Dynamical Systems
volume 43
issue 12
4166-4192
(15 Feb 2023)
Measuring Unruh radiation from accelerated electrons
Gregori, G
Marocco, G
Sarkar, S
Bingham, R
Wang, C
(17 Jan 2023)
Robustness and stability of spin-glass ground states to perturbed interactions
Mohanty, V
Louis, A
Physical Review E
volume 107
issue 1
(18 Jan 2023)
Analysis and modeling of client order flow in limit order markets
Cont, R
Cucuringu, M
Glukhov, V
Prenzel, F
Quantitative Finance
volume 23
issue 2
187-205
(16 Jan 2023)
In memoriam: Marco Avellaneda (1955-2022)
Cont, R
Mathematical Finance
volume 33
issue 1
3-15
(10 Jan 2023)
Thu, 26 Jan 2023
17:00
17:00
L3
Decidability of the class of all the rings $\mathbb{Z}/m\mathbb{Z}$: A Problem of Ax
Jamshid Derakhshan
(University of Oxford)
Abstract
In his pioneering and celebrated 1968 paper on the elementary theory of finite fields Ax asked if the theory of the class of all the finite rings $\mathbb{Z}/m\mathbb{Z}$, for all $m>1$, is decidable. In that paper, Ax proved that the existential theory of this class is decidable via his result that the theory of the class of all the rings $\mathbb{Z}/p^n\mathbb{Z}$ (with $p$ and $n$ varying) is decidable. This used Chebotarev’s Density Theorem and model theory of pseudo-finite fields.
I will talk about a recent solution jointly with Angus Macintyre of Ax’s Problem using model theory of the ring of adeles of the rational numbers.