2 citations · 5 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
Representing Scott sets in algebraic settings
Alf Dolich, Julia Knight, Karen Lange +1
We prove that for every Scott set there are -saturated real closed fields and models of Presburger arithmetic.
math.LO2014★ 1 cited
Computable structures in generic extensions
Julia Knight, Antonio Montalban, Noah Schweber
In this paper, we investigate connections between structures present in every generic extension of the universe and computability theory. We introduce the notion of {\em generi…