Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Leo Harrington - MaRDI portal

Leo Harrington

From MaRDI portal
Person:1066893

Available identifiers

zbMath Open harrington.leo-aWikidataQ1818602 ScholiaQ1818602MaRDI QIDQ1066893

List of research outcomes

PublicationDate of PublicationType
Recursion theoretic papers. Introduction to Part VI2020-03-09Paper
Corrigendum to: ``The d.r.e. degrees are not dense2017-09-29Paper
$$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$2017-04-04Paper
On the orbits of computably enumerable sets2010-11-19Paper
The Complexity of Orbits of Computably Enumerable Sets2008-05-08Paper
Extension theorems, orbits, and automorphisms of the computably enumerable sets2008-01-21Paper
On the Orbits of Computably Enumerable Sets2006-07-11Paper
Isomorphisms of splits of computably enumerable sets2005-02-09Paper
Definable Encodings in the Computably Enumerable Sets2002-01-09Paper
ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS2002-01-01Paper
Definable properties of the computably enumerable sets2000-01-12Paper
Codable sets and orbits of computably enumerable sets1999-02-07Paper
Coding in the partial order of enumerable sets1998-03-31Paper
Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets1997-03-19Paper
There is no fat orbit1997-03-17Paper
The Δ₃⁰-automorphism method and noninvariant classes of degrees1996-12-11Paper
https://portal.mardi4nfdi.de/entity/Q48632411996-09-22Paper
https://portal.mardi4nfdi.de/entity/Q46942751993-06-29Paper
Post's program and incomplete recursively enumerable sets.1993-02-09Paper
The d.r.e. degrees are not dense1992-06-28Paper
A Glimm-Effros Dichotomy for Borel Equivalence Relations1992-06-25Paper
Borel Orderings1988-01-01Paper
Trivial pursuit: remarks on the main gap1987-01-01Paper
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures1985-01-01Paper
Some exact equiconsistency results in set theory1985-01-01Paper
An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories1985-01-01Paper
A proof of Vaught's conjecture for \(\omega\)-stable theories1984-01-01Paper
Fundamentals of forking1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33425151984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30411861982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36579831982-01-01Paper
The undecidability of the recursively enumerable degrees1982-01-01Paper
Definable degrees and automorphisms of 𝒟1981-01-01Paper
On the determinacy of games on ordinals1981-01-01Paper
Extensions of countable infinitary logic which preserve most of its nice properties1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36711471979-01-01Paper
A Generalized Kleene-Moschovakis Theorem1978-01-01Paper
Models Without Indiscernibles1978-01-01Paper
Analytic determinacy and 0#1978-01-01Paper
Flipping properties: A unifying thread in the theory of large cardinals1977-01-01Paper
Long projective wellorderings1977-01-01Paper
$Π^1_2$ singletons and $O^#$1977-01-01Paper
Characterizing C 3 (The Largest Countable Π 1 3 Set)1976-01-01Paper
Adding a closed unbounded set1976-01-01Paper
On monotone vs. nonmonotone induction1976-01-01Paper
On Σ1 well-orderings of the universe1976-01-01Paper
Selection in abstract recursion theory1976-01-01Paper
On characterizing Spector classes1975-01-01Paper
Π 1 2 Sets and Π 1 2 Singletons1975-01-01Paper
A Basis Result for ∑ 0 3 Sets of Reals with an Application to Minimal Covers1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40430761974-01-01Paper
Recursively presentable prime models1974-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Leo Harrington