Alistair H. Lachlan

32 papers Journal 32
YearRankTypeTitle / Venue / Authors
2017 J jnl
Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151].
Ann. Pure Appl. Log.
S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
1998 J jnl
Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets.
J. Symb. Log.
Alistair H. Lachlan, Robert I. Soare
1998 J jnl
Some Special Pairs Of Σ
Math. Log. Q.
Seema Ahmad, Alistair H. Lachlan
1995 J jnl
Finite Homogeneous 3-Graphs.
Math. Log. Q.
Allyson Tripp, Alistair H. Lachlan
1995 J jnl
On countable homogeneous 3-hypergraphs.
Arch. Math. Log.
Reza Akhtar, Alistair H. Lachlan
1994 J jnl
Models of Arithmetic and Upper Bounds for Arithmetic Sets.
J. Symb. Log.
Alistair H. Lachlan, Robert I. Soare
1993 J jnl
Jump Theorems for REA Operators.
Math. Log. Q.
Xiaoding Yi, Alistair H. Lachlan
1993 J jnl
The Continuity of Cupping to 0'.
Ann. Pure Appl. Log.
Klaus Ambos-Spies, Alistair H. Lachlan, Robert I. Soare
1992 J jnl
The
Arch. Math. Log.
Alistair H. Lachlan, Richard A. Shore
1992 J jnl
aleph
J. Symb. Log.
Alistair H. Lachlan
1991 J jnl
The d.r.e. Degrees are Not Dense.
Ann. Pure Appl. Log.
S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
1990 J jnl
Some coinductive graphs.
Arch. Math. Log.
Alistair H. Lachlan
1987 J jnl
A Note on Positive Equivalence Relations.
Math. Log. Q.
Alistair H. Lachlan
1987 J jnl
Alternative Characterizations of Precomplete Numerations.
Math. Log. Q.
Akira Kanda, Alistair H. Lachlan
1987 J jnl
Complete Theories with Only Universal and Existential Axioms.
J. Symb. Log.
Alistair H. Lachlan
1987 J jnl
Structures coordinatized by indiscernible sets.
Ann. Pure Appl. Log.
Alistair H. Lachlan
1985 J jnl
aleph
Ann. Pure Appl. Log.
Gregory L. Cherlin, Leo Harrington, Alistair H. Lachlan
1984 J jnl
Two Theorems on Degrees of Models of True Arithmetic.
J. Symb. Log.
Julia F. Knight, Alistair H. Lachlan, Robert I. Soare
1984 J jnl
Vector spaces and binary quantifiers.
Notre Dame J. Formal Log.
Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen
1979 J jnl
Bounding Minimal Pairs.
J. Symb. Log.
Alistair H. Lachlan
1979 J jnl
On the Semantics of the Henkin Quantifier.
J. Symb. Log.
Michal Krynicki, Alistair H. Lachlan
1978 J jnl
Spectra of ω-Stable Theories.
Math. Log. Q.
Alistair H. Lachlan
1976 J jnl
Countable Initial Segments of the Degrees of Unsolvability.
J. Symb. Log.
Alistair H. Lachlan, R. Lebeuf
1975 J jnl
A remark on the strict order property.
Math. Log. Q.
Alistair H. Lachlan
1975 J jnl
Uniform Enumeration Operations.
J. Symb. Log.
Alistair H. Lachlan
1971 J jnl
On Strongly Minimal Sets.
J. Symb. Log.
John T. Baldwin, Alistair H. Lachlan
1968 J jnl
Degrees of Recursively Enumerable Sets Which Have No Maximal Supersets.
J. Symb. Log.
Alistair H. Lachlan
1966 J jnl
A Note on Universal Sets.
J. Symb. Log.
Alistair H. Lachlan
1966 J jnl
On the Indexing of Classes of Recursively Enumerable Sets.
J. Symb. Log.
Alistair H. Lachlan
1966 J jnl
The Impossibility of finding Relative Complements for Recursively Enumerable Degrees.
J. Symb. Log.
Alistair H. Lachlan
1964 J jnl
Effective Operations in a General Setting.
J. Symb. Log.
Alistair H. Lachlan
1963 J jnl
Recursive Real Numbers.
J. Symb. Log.
Alistair H. Lachlan