Iowa Colloquium on Information, Complexity and Logic in Computation (ICICL)

Johanna Franklin
Thursday, November 9, 2017 - 3:10pm to 4:00pm
Carver 0001
Event Type: 

Iowa Colloquium on Information,Complexity and Logic in Computation (ICICL)

November 9, 2017, 3:10-4:00pm, Food Sc 2432

Computable Categoricity of Random Fields

The algebraic fields of characteristic 0 can be classified using a computable homeomorphism onto Cantor space. This enables us to define a random field as one that is mapped to a random element of Cantor space. In this talk, I will discuss the computable categoricity of random fields in the contexts of two different languages: the standard language of fields and an expanded language with root predicates that hold when their inputs define polynomials that have roots in the field under consideration.

About Dr. Franklin:

Johanna Franklin, an associate professor of mathematics at Hofstra University is primarily interested in algorithmic randomness and recursion theory. Other research interests include: mathematical logic, computability theory, effective analysis, and computable model theory. She received her BS and in Mathematical Sciences with minors in Physics and Linguistics and MS in Mathematical Sciences in 2001 from Carnegie Mellon University in Pittsburgh, PA. She received her Ph.D. in Logic in 2007 from University of California, Berkeley.

This work is joint with Russell Miller.

Dr. Franklin’s visit supported by Simons Foundation Grant `Computing with Continuous Data’ (PI Timothy H. McNicholl)