PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:WKL_0 and the Hahn-Banach Theorem in countable vector spaces over countable ordered fields
Seminar:Logic Seminar
Speaker:Kostas Hatzikiriakou, University of Thessaly, Greece
Abstract:
After reviewing the basic properties of RCA_0, WKL_0 and ACA_0, the three subsystems of Z_2 we are going to use or refer to in this talk, we will proceed to show that, over the weak basis of RCA_0, Weak K"onig's Lemma is equivalent to a version of Hahn-Banach Theorem in countable vector spaces over countable ordered fields.

Room Reservation Information

Room Number:MB315
Date:11 / 17 / 2009
Time:02:30pm - 03:45pm