Publisher
Springer Nature Switzerland
Reference8 articles.
1. Feferman, S., Vaught, R.: The first order properties of products of algebraic systems. Fundam. Math. 47(1), 57–103 (1959)
2. Greenberg, N., Melnikov, A., Nies, A., Turetsky, D.: Effectively closed subgroups of the infinite symmetric group. Proc. Am. Math. Soc. 146(12), 5421–5435 (2018)
3. La Roche, P.: Effective Galois theory. J. Symbolic Logic 46(2), 385–392 (1981)
4. Metakides, G., Nerode, A.: Effective content of field theory. Ann. Math. Logic 17, 289–320 (1979)
5. Miller, R.: Computability for the absolute Galois group of $$\mathbb{Q}$$. To appear, available at arXiv:2307.08935