\bibitem{AS-BC2k}
Awodey, S. \& Butz, C., 2000, Topological Completeness for Higher Order Logic., Journal of Symbolic Logic, 65, 3, 1168--1182.
\bibitem{AS-RER2k2}
Awodey, S. \& Reck, E. R., 2002, Completeness and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, \emph{History and Philosophy of Logic}, 23, (2): 77--94.
\bibitem{AS96}
Awodey, S., 1996, Structure in Mathematics and Logic: A Categorical Perspective,
\emph{Philosophia Mathematica}, 3: 209--237. |
