Julia F. Knight (knight-jf)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ash, Chris J. and Knight, Julia F. 2000. Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics n. 144. Amsterdam: Elsevier Science Publishers B.V.
Calvert, Wesley and Knight, Julia F. 2006. “Classification from a Computable Viewpoint.” The Bulletin of Symbolic Logic 12(2): 191–218.
Keisler, Jerome H. and Knight, Julia F. 2004. “Barwise: Infinitary Logic and Admissible Sets.” The Bulletin of Symbolic Logic 10: 4–36.
Knight, Julia F. 2008. “The Kleene-Mostowski Hierarchy and the Davis-Mostowski Hierarchy.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 171–197. Amsterdam: IOS Press.