1 paper · 1 filter
Rumen Dimitrov, Valentina Harizanov, Henry J. Klatt +1
We develop the foundations of effective ultraproducts of fields and their Galois groups using the methods of computability theory. These computability-theoretic analogs of ultrapro…