1. Csima, B.F., Harrison-Trainor, M.: Degrees of categoricity on a cone via eta-systems. J. Symbolic Logic 82(1), 325–346 (2017)
2. Davis, M., Putnam, H., Robinson, J.: The decision problem for exponential diophantine equations. Ann. Math. 74(3), 425–436 (1961)
3. Eisenträger, K., Miller, R., Springer, C., Westrick, L.: A topological approach to undefinability in algebraic fields, submitted for publication
4. Eisenträger, K., Miller, R., Springer, C., Westrick, L.: Genericity and forcing for algebraic fields, in preparation
5. Edwards, H.M.: Galois Theory. Springer, New York (1984)