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
Enrique Casanovas
:
The Number of Types in Simple Theories.
69-86
Iraj Kalantari
,
Lawrence Welch
:
Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II.
87-110
J. B. Wells
:
Typability and Type Checking in System F are Equivalent and Undecidable.
111-156
Renling Jin
:
Distinguishing Three Strong Saturation Properties in Nonstandard Analysis.
157-171
Philip Scowcroft
:
Some Purely Topological Models for Intuitionistic Analysis.
173-215
Saharon Shelah
,
Jindrich Zapletal
:
Canonical Models for N
1
-Combinatorics.
217-259
Saharon Shelah
:
Categoricity for Abstract Classes with Amalgamation.
261-294
Bakhadyr Khoussainov
,
Richard A. Shore
:
Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families".
297-298
Last update Wed May 22 17:00:45 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
Data released under the ODC-BY 1.0 license — See also our legal information page
