1 citations · 2 across the 4 of their papers we have counts for
4 papers
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.
-maximal sets
Peter Cholak, Peter Gerdes, Karen Lange
Soare proved that the maximal sets form an orbit in . We consider here -maximal sets, generalizations of maximal sets introduced by Herrmann and Kummer. S…
A valuation theoretic characterization of recursively saturated real closed fields
Paola D'Aquino, Salma Kuhlmann, Karen Lange
We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a d…
Real closed exponential fields
Paola D'Aquino, Julia F. Knight, Salma Kuhlmann +1
In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed expon…