Julia F. Knight (knight-jf)
Contributi a 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.