Annals of Pure and Applied Logic, Volume 41

Volume 41, Number 1, 10 January 1989

Rodney G. Downey: Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part I: Density. 1-26 BibTeX
Kostas Hatzikiriakou, Stephen G. Simpson: Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. 27-32 BibTeX
Andrew M. Pitts: Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. 33-81 BibTeX
Philip Scowcroft: More on Brouwer's Refutations. 83-91 BibTeX

Arthur W. Apter, Carlos DiPrisco, James M. Henle, William S. Zwicker: Filter Spaces: Toward a Unified Theory of Large Cardinals and Embedding Axioms. 93-106 BibTeX
Richard Beigel, William I. Gasarch, James C. Owings: Nondeterministic Bounded Query Reducibilities. 107-118 BibTeX
Rodney G. Downey, Theodore A. Slaman: Completely Mitotic r.e. Degrees. 119-152 BibTeX
Jan Krajícek: On the Number of Steps in Proofs. 153-178 BibTeX
Arnold W. Miller: Infinite Combinatorics and Definability. 179-203 BibTeX

Elisabeth Bouscaren: Dimensional Order Property and Pairs of Models. 205-231 BibTeX
Sy D. Friedman: Minimal Coding. 233-297 BibTeX