Goodstein’s function

In August I gave a talk during the III jornada conjuntística at the Universidad Nacional de Colombia on Finite combinatorics and logic. The talk was based on three papers. One of them, Goodstein’s function has been accepted for publication in the Revista Colombiana de Matemáticas. You can find it in my papers page.

A discussion of Goodstein’s function and issues related to independence in {\sf PA} can be found in the page for my undecidability course in Caltech. I expect to keep updating that page from time to time.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: