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.