I'm a graduate student at University of Florida, pursuing a PhD mathematical logic. In particular I am interested in descriptive set theory. I also am doing some work in computable model theory.
17 Image of L^1 under the Fourier Transform Apr 9 '13
10 Up-to-date version of Principia Mathematica? Nov 24 '11
10 Descriptive Complexity of Knot Equivalence Apr 17 '15
8 Good source for Effective Descriptive Set Theory May 14 '12
7 What are some mathematical concepts that were (pretty much) created from scratch and do not owe a debt to previous work? May 27 '10
4 Is the Turing equivalence relation the orbit equiv. relation of the action of a countable group? May 25 '12
4 Measure on hyperspace of compact subsets Sep 12 '14