35 citations · 86 across the 22 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.NT2020★ 2 cited
A topological approach to undefinability in algebraic extensions of
Kirsten Eisentraeger, Russell Miller, Caleb Springer +1
For any subset , consider the set of subfields which contain a co-infinite subset that is universal…
math.LO2020
Forcing as a computational process
Joel David Hamkins, Russell Miller, Kameryn J. Williams
We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,…
math.LO2020★ 1 cited
Interpreting a field in its Heisenberg group
Rachael Alvir, Wesley Calvert, Grant Goodman +6
We improve on and generalize a 1960 result of Maltsev. For a field , we denote by the Heisenberg group with entries in . Maltsev showed that there is a copy of def…