4 citations · 5 across the 2 of their papers we have counts for
3 papers
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…
math.LO2019★ 4 cited
Coding in graphs and linear orderings
Julia Knight, Alexandra Soskova, Stefan Vatev
There is a Turing computable embedding of directed graphs in undirected graphs. Moreover, there is a fixed tuple of formulas that give a uniform interpretation; i.e., for a…
math.LO2018
Complexity of Scott Sentences
Rachael Alvir, Charles McCoy, Julia Knight
We give effective versions of some results on Scott sentences. We show that if has a computable Scott sentence, then the orbits of all tuples are defined by for…