Research
I am interested in the intersection of mathematical logic and measure theory. There is a natural way to effectivize the Borel hierarchy of sets of real numbers, so that it may be studied with the tools of computability theory. My Ph.D. thesis studied the relative complexity (in a certain specific and natural sense) of effectively closed sets of real numbers. Such studies are intimately connected with algorithmic randomness and reverse mathematics, the latter being important for the foundations of mathematics.
Leave a Comment
You must be logged in to post a comment.