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 BibTeX
Thomas A. Nevins: Degrees of Convex Dependence in Recursively Enumerable Vector Spaces. 31-47 BibTeX
Michael Rathjen, Andreas Weiermann: Proof-Theoretic Investigations on Kruskal's Theorem. 49-88 BibTeX

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

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