#### Filter Results:

- Full text PDF available (19)

#### Publication Year

1974

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Armando Solar Lezama, Armando Solar-Lezama, Sanjit Seshia, Leo Harrington
- 2008

- Yuri Gurevich, Leo Harrington
- STOC
- 1982

In 1969 Rabin introduced tree automata and proved one of the deepest decidability results. If you worked on decision problems you did most probably use Rabin's result. But did you make your way through Rabin's cumbersome proof with its induction on countable ordinals? Building on ideas of our predecessors-&-mdash;and especially those of… (More)

- Leo Harrington
- J. Symb. Log.
- 1974

- L Harrington, R I Soare
- Proceedings of the National Academy of Sciences…
- 1991

A set A of nonnegative integers is recursively enumerable (r.e.) if A can be computably listed. It is shown that there is a first-order property, Q(X), definable in E, the lattice of r.e. sets under inclusion, such that (i) if A is any r.e. set satisfying Q(A) then A is nonrecursive and Turing incomplete and (ii) there exists an r.e. set A satisfying Q(A).… (More)

- Leo Harrington
- J. Symb. Log.
- 1978

- Peter Cholak, Leo Harrington
- Bulletin of Symbolic Logic
- 2000

- Peter Cholak, Leo Harrington
- J. Symb. Log.
- 2003

We show that if A and A are automorphic via then the structures S R (A) and S R (A) are 0 3-isomorphic via an isomorphism induced by. Then we use this result to classify completely the orbits of hhsimple sets.

- Leo Harrington, Saharon Shelah
- Notre Dame Journal of Formal Logic
- 1985

- S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
- Ann. Pure Appl. Logic
- 1991

- Leo Harrington, Robert I. Soare
- J. Symb. Log.
- 1998

A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let E denote the structure of the computably enumerable sets under inclusion, E = (fW e g e2! ;). We previously exhibited a rst order E-deenable property Q(X) such that Q(X) guarantees that X is… (More)