Source author record

Karen Lange

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.AC

Catalog footprint

Research overview

5works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

$\mathcal{D}$ -maximal sets

Soare proved that the maximal sets form an orbit in $\mathcal{E}$ . We consider here $\mathcal{D}$ -maximal sets, generalizations of maximal sets introduced by Herrmann and Kummer. Some orbits of $\mathcal{D}$ -maximal sets are well understood, e.g., hemimaximal sets, but many are not. The goal of this paper is to define new invariants on computably enumerable sets and to use them to give a complete nontrivial classification of the $\mathcal{D}$ -maximal sets. Although these invariants help us to better understand the $\mathcal{D}$ -maximal sets, we use them to show that several classes of $\mathcal{D}$ -maximal sets break into infinitely many orbits.

preprint2014arXiv

Representing Scott sets in algebraic settings

We prove that for every Scott set $S$ there are $S$ -saturated real closed fields and models of Presburger arithmetic.

preprint2012arXiv

A valuation theoretic characterization of recursively saturated real closed fields

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 divisible ordered abelian group to be recursively saturated.

preprint2011arXiv

Real closed exponential fields

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 exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre's construction, which becomes canonical once we fix the real closed exponential field, a residue field section, and a well ordering of the field. The procedure is constructible over these objects; each step looks effective, but may require many steps. We produce an example of an exponential field $R$ with a residue field $k$ and a well ordering $<$ such that $D^c(R)$ is low and $k$ and $<$ are $Δ^0_3$ , and Ressayre's construction cannot be completed in $L_{ω_1^{CK}}$ .

preprint2010arXiv

On n-Tardy Sets

Harrington and Soare introduced the notion of an n-tardy set. They showed that there is a nonempty $\mathcal{E}$ property Q(A) such that if Q(A) then A is 2-tardy. Since they also showed no 2-tardy set is complete, Harrington and Soare showed that there exists an orbit of computably enumerable sets such that every set in that orbit is incomplete. Our study of n-tardy sets takes off from where Harrington and Soare left off. We answer all the open questions asked by Harrington and Soare about n-tardy sets. We show there is a 3-tardy set A that is not computed by any 2-tardy set B. We also show that there are nonempty $\mathcal{E}$ properties $Q_n(A)$ such that if $Q_n(A)$ then A is properly n-tardy.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Karen Lange

Research overview

Is this your work?

5 publications

$\mathcal{D}$ -maximal sets

Representing Scott sets in algebraic settings

A valuation theoretic characterization of recursively saturated real closed fields

Real closed exponential fields

On n-Tardy Sets

See the researcher in context

Building this map preview

Karen Lange

Research overview

Is this your work?

5 publications

D\mathcal{D}D-maximal sets

Representing Scott sets in algebraic settings

A valuation theoretic characterization of recursively saturated real closed fields

Real closed exponential fields

On n-Tardy Sets

See the researcher in context

Building this map preview

$\mathcal{D}$ -maximal sets