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
Kostas Hatzikiriakou
,
Stephen G. Simpson
: Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. 27-32
Andrew M. Pitts
: Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. 33-81
Philip Scowcroft
: More on Brouwer's Refutations. 83-91
Volume 41, Number 2, 6 February 1989
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
Richard Beigel
,
William I. Gasarch
,
James C. Owings
: Nondeterministic Bounded Query Reducibilities. 107-118
Rodney G. Downey
,
Theodore A. Slaman
: Completely Mitotic r.e. Degrees. 119-152
Jan Krajícek
: On the Number of Steps in Proofs. 153-178
Arnold W. Miller
: Infinite Combinatorics and Definability. 179-203
Volume 41, Number 3, 1 March 1989
Elisabeth Bouscaren
: Dimensional Order Property and Pairs of Models. 205-231
Sy D. Friedman
: Minimal Coding. 233-297
Copyright ©
Mon Dec 7 20:12:54 2009 by
Michael Ley
(
ley@uni-trier.de
)