Annals of Pure and Applied Logic
, Volume 98
Volume 98, Numbers 1-3, 29 June 1999
Alexej P. Pynko
: Definitional Equivalence and Algebraizability of Generalized Logical Systems. 1-68
BibTeX
Enrique Casanovas
: The Number of Types in Simple Theories. 69-86
BibTeX
Iraj Kalantari
,
Lawrence Welch
: Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. 87-110
BibTeX
J. B. Wells
: Typability and Type Checking in System F are Equivalent and Undecidable. 111-156
BibTeX
Renling Jin
: Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. 157-171
BibTeX
Philip Scowcroft
: Some Purely Topological Models for Intuitionistic Analysis. 173-215
BibTeX
Saharon Shelah
,
Jindrich Zapletal
: Canonical Models for N
1
-Combinatorics. 217-259
BibTeX
Saharon Shelah
: Categoricity for Abstract Classes with Amalgamation. 261-294
BibTeX
Bakhadyr Khoussainov
,
Richard A. Shore
: Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". 297-298
BibTeX
Copyright ©
Sat May 16 23:50:44 2009 by
Michael Ley
(
ley@uni-trier.de
)