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
Fred Appenzeller: Classification Theory through Stationary Logic. 27-68
Vladimir Kanovei: Linearization of Definable Order Relations. 69-100
Ronald B. Jensen, Martin Zeman: Smooth Categories and Global square. 101-138
Joel David Hamkins, Simon Thomas: Changing the Heights of Automorphism Towers. 139-157
Mário J. Edmundo: Structure Theorems for o-Minimal Expansions of Groups. 159-181

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