Julia F. Knight
Charles L. Huisking Professor of Mathematics
B.A., Utah State University, 1964
Ph.D., University of California, Berkeley, 1972
Email: Julia.F.Knight.1@nd.edu
Office: 285 Hurley Bldg
Phone: (574) 6316355
Fax: (574) 6316579
Mailing Address:
255 Hurley Bldg
Notre Dame, IN 465564618
Research Interests
My interests are in Logic and Computable Structure Theory. Initially, my research was in model theory, focusing on models of arithmetic and infinitary logic. Gradually, my interests shifted to computability. I am interested in the relationship between computability and definability in familiar kinds of mathematical structures: groups, fields, linear orderings, etc.
Selected Publications

J. F. Knight, A. Montalb\'{a}n, and N. Schweber, "Computable structures in generic extensions'', J.\ Symb.\ Logic, vol. 83(2016), pp. 814832.

G. Igusa and J. F. Knight, "Comparing two versions of the reals using computability'', J. Symb. Logic, vol. 83(2016), pp. 11151123.

G. Igusa, J. F. Knight, and N. Schweber, `"Computing power of structures related to the field of real numbers'', J. Symb. Logic, vol. 82(2017), pp. 137150.

U. Andrews and J. F. Knight, “Strongly minimal theories with computable models”, JEMS, vol. 20(2018), pp. 15611594.

Ash, C. J. and J. F. Knight, Computable Structures and the Hyperarithmetical Hierarchy, . Elsevier, 2000.
If you have access to MathSciNet you can see a complete list of publications.
Please direct questions and comments to: Julia.F.Knight.1@nd.edu