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, or see below.

A discussion of Goodstein’s function and issues related to independence in {\sf PA} can be found in some of the posts in this blog marked with the category 117b: Computability theory (117b is the course on undecidability I taught at Caltech).

Goodstein’s function. Revista Colombiana de Matemáticas 41 (2)(2007), 381–391. MR2585906 (2011c:03139)Zbl 1156.03053.


Leave a Reply

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

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

Facebook photo

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

Connecting to %s

%d bloggers like this: