Series: Logic Seminar

Speaker: Stephen G. Simpson (Penn State)

Title: Omega-models of weak K"onig's lemma

Date: Tuesday, April 21, 1998

Time: 2:30 PM

Place: 113 McAllister Building

Abstract:

Weak K"onig's lemma is one of a small number of set existence axioms
which arise in reverse mathematics.  Omega-models of weak K"onig's
lemma arise in several areas of mathematical logic including recursion
theory (so-called PA-degrees) and models of arithmetic (Scott
systems).  This talk is an introductory survey of results and problems
related to omega-models of weak K"onig's lemma.