Julia Erhard

Department of Mathematics 
937 Evans
University of California
Berkeley
California

eMail: julia (dot) erhard (at) berkeley (dot) edu

Office hours: Tu 4-5 and Th 10-11 in 937 Evans

I am a graduate student at the University of California at Berkeley doing a PhD in recursion theory. My advisor is Theodore Slaman. I advanced to candidacy in Spring 2011.

My resume

My mathematical interests are:

  • Computability Theory
  • Reverse Mathematics
  • Randomness
  • Combinatorics
  • Statistical Learning Theory
  • Computer Science and algorithms

profil

Academic qualifications:

Teaching:

Conferences and Seminars:

upcoming participations:

past participations and presentations:

Recursion Theory Seminar
Title of talk: "Reverse Mathematics for Ramsey's Theorem for Pairs"
Abstract:
Ramsey's Theorem states that, if the k-sets of natural numbers are colored with finitely many colors, then there exists an infinite set on which this coloring is monochromatic. From a reverse mathematics point of view, the strength of Ramsey's Theorem is equivalent to ACA_0 (arithmetic comprehension axiom) if k>2, but is strictly weaker than ACA_0 if k=2. Weak Koenig's Lemma states, that every finitely branching infinite tree has an infinite path. The system WKL_0, which is the system RCA_0 plus the statement of Weak Koenig's Lemma, was shown to not suffice to prove Ramsey's Theorem for pairs over RCA_0. Recently Jiayi Liu showed that the other direction also does not hold. This means that from a reverse mathematics point of view, Ramsey's Theorem for pairs and WKL_0 are incomparable. We will present Liu's proof that Ramsey's Theorem for pairs does not imply WKL_0 over RCA_0.

9th and 16th November 2011
University of California, Berkeley

5th Conference on Logic, Computability and Randomness
24th – 28th May 2010
University of Notre Dame

11th Graduate Student Conference in Logic
1 – 2 May 2010
Madison, Wisconsin

Many cheerful facts
I presented a talk about "An independent statement of pure mathematics"
9th April 2010
University of California, Berkeley

ESI workshop on large cardinals and descriptive set theory
14th – 27th June 2009
Vienna, Austria

Junior Logic Seminar
I presented a talk about "Reverse Mathematics"
4th May 2009
Oxford University, UK

beyond part III (Conference for young researchers in Mathematical Sciences)
I presented a talk entitled "Reverse Mathematics and Ramsey's Theorem" (photos)
16th - 18th April 2009
University of Cambridge, UK

CAMELEON (CAMbridgE-LEeds-Or-Norwich logic meetings)
27th - 29th March 2009
University of Cambridge, UK

CAMELEON (CAMbridgE-LEeds-Or-Norwich logic meetings)
29th Nov. 2008
University of Leeds, UK

Summer School in Logic
Set Theory and Recursion Theory
30th June - 26th July 2008
National University of Singapore, Singapore

Summer School for Logic and Formal Epistemology
9th - 27th June 2008
Carnegie Mellon University, Pittsburgh, USA

CAMELEON (CAMbridgE-LEeds-Or-Norwich logic meetings)
23rd April 2008
University of Cambridge, UK

First Cambridge Philosophy Graduate Conference
18th and 19th Jan. 2008
University of Cambridge, UK

CAMELEON (CAMbridgE-LEeds-Or-Norwich logic meetings)
11th Dec. 2007 
University of East Anglia Norwich, UK

CAMELEON (CAMbridgE-LEeds-Or-Norwich logic meetings)
14th June 2007
University of Leeds, UK

CAMELEON (CAMbridgE-LEeds-Or-Norwich logic meetings)
and Minicourse on Countable Ordinals
29th Nov.  – 2nd Dec. 2006
University of Cambridge, UK

Memberships:

Dance and Performance:

Besides being a mathematician, I am a competitive Latin dancer. (photos)

Occasionally, I got the opportunity to act as a model for photo shoots. Some of the resulting pictures can be found here.

I learned to dance ballet from age 7. In February 2007, I performed in the show "Alice in Wonderland" put on by the Cambridge University Ballet Club.

I was acting in the 2008 Drama Cuppers production of "the play within a play" from "a midsummer night's dream" by W. Shakespeare.