Aleksandar Ignjatovic Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles, I. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:103-121 [Journal]
Rolando Chuaqui, Patrick Suppes Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:122-159 [Journal]
M. Randall Holmes The Equivalence of NF-Style Set Theories with ``Tangled'' Type Theories; The Construction of omega-Models of Predicative NF (and More). [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:178-190 [Journal]
Jan Mycielski New Set-Theoretic Axioms Derived from a Lean Metamathematics. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:191-198 [Journal]
J. L. Bell Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:209-221 [Journal]
Vladimir Kanovei Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1995, v:60, n:1, pp:318-324 [Journal]