Julia F. Knight

Julia Knight Frandsen (* as Julia Frandsen ) is an American mathematical logician, professor of mathematics at the University of Notre Dame.

Knight comes from Logan ( Utah). She graduated from Utah State University with a bachelor's degree in 1964 and 1972 at the University of California, Berkeley, Robert Vaught doctorate ( Some Problems in Model Theory). She is since 1977 a professor at the University of Notre Dame. There she is Charles L. Huisking Professor of Mathematics.

Knight deals with model theory and computability theory.

2014, it was selected as the Gödel - Lecturer. In 2012 she became a Fellow of the American Mathematical Society.

She is married since 1967 with William Knight, computer science professor at Indiana University South Bend, and has a son.

Writings

• Christopher John Ash: Computable structures and the hyperarithmetical hierarchy, Studies in Logic and the Foundations of Mathematics, Volume 144, North -Holland 2000