Annals of Pure and Applied Logic, Volume 94

Volume 94, Number 1-3, 5 October 1998

• Arnold Beckmann, Wolfram Pohlers: Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. 7-19 BibTeX
• Douglas A. Cenzer, Jeffrey B. Remmel: Feasible Graphs with Standard Universe. 21-35 BibTeX
• Peter Cholak: The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets. 37-44 BibTeX
• Rodney G. Downey, Richard A. Shore: Splitting Theorems and the Jump Operator. 45-52 BibTeX
• Peter A. Fejer: Lattice Representations for Computability Theory. 53-74 BibTeX
• Sergei S. Goncharov: Decidable Boolean Algebras of Low Level. 75-95 BibTeX
• Leo Harrington, Robert I. Soare: Definable Properties of the Computably Enumerable Sets. 97-125 BibTeX
• Julia F. Knight: Coding a Family of Sets. 127-142 BibTeX
• Manuel Lerman: A Necessary and Sufficient Condition for Embedding Ranked Finite Partial Lattices into the Computably Enumerable Degrees. 143-180 BibTeX
• Michael Rathjen, Edward R. Griffor, Erik Palmgren: Inaccessibility in Constructive Set Theory and Type Theory. 181-200 BibTeX
• Helmut Schwichtenberg: Finite Notations for Infinite Terms. 201-222 BibTeX
• Alexandra Shlapentokh: Weak Presentations of Non-Finitely Generated Fields. 223-252 BibTeX
• Theodore A. Slaman, W. Hugh Woodin: Extending Partial Orders to Dense Linear Orders. 253-261 BibTeX
• Andrea Sorbi: Sets of Generators and Automorphism Bases for the Enumeration Degrees. 263-272 BibTeX
• Frank Stephan: Learning via Queries and Oracles. 273-296 BibTeX