Annals of Pure and Applied Logic, Volume 102

Volume 102, Numbers 1-2, 3 March 2000

Li Dafa, Peifa Jia, Xinxin Li: Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. 1-26 BibTeX
Fred Appenzeller: Classification Theory through Stationary Logic. 27-68 BibTeX
Vladimir Kanovei: Linearization of Definable Order Relations. 69-100 BibTeX
Ronald B. Jensen, Martin Zeman: Smooth Categories and Global square. 101-138 BibTeX
Joel David Hamkins, Simon Thomas: Changing the Heights of Automorphism Towers. 139-157 BibTeX
Mário J. Edmundo: Structure Theorems for o-Minimal Expansions of Groups. 159-181 BibTeX

Silvio Ghilardi: Best Solving Modal Equations. 183-198 BibTeX
Arthur W. Apter, James Cummings: A Global Version of a Theorem of Ben-David and Magidor. 199-222 BibTeX
Ulrich Kohlenbach: Things That Can and Things That Cannot Be Done in PRA. 223-245 BibTeX
Antonio Bucciarelli, Thomas Ehrhard: On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. 247-282 BibTeX
Alexej P. Pynko: Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems". 283-284 BibTeX