Annals of Pure and Applied Logic, Volume 60

Volume 60, Number 1, 24 February 1993

Valentina S. Harizanov: The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. 1-30
Thomas A. Nevins: Degrees of Convex Dependence in Recursively Enumerable Vector Spaces. 31-47
Michael Rathjen, Andreas Weiermann: Proof-Theoretic Investigations on Kruskal's Theorem. 49-88

Ulrich Berger: Total Sets and Objects in Domain Theory. 91-117
Gerhard Jäger: Fixed Points in Peano Arithmetic with Ordinals. 119-132
Martin Kummer, Frank Stephan: Weakly Semirecursive Sets and r.e. Orderings. 133-150
Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication. 151-177
Siu-Ah Ng: Loeb Extensions and Ultrapowers of Measures on Fragments. 179-189

Rodney G. Downey: Every Recursive Boolean Algebra is Isomorphic to One with Incomplete Atoms. 193-206
Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis: Some Effectively Infinite Classes of Enumerations. 207-235
Kitty L. Holland: Projective Geometries of Algebraically Closed Fields of Characteristic Zero. 237-260
Renling Jin, H. Jerome Keisler: Game Sentences and Ultrapowers. 261-274
Margarita Otero: The Joint Embedding Property in Normal Open Induction. 275-290