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 |
|---|
