Phillip Wesolek : A Baire Category Approach to Fraisse's Theorem
Posted by , part of the Louise Hay Logic Seminar.
- At
- Sept. 9, 2010, 3 p.m.
- In
- SEO 612
- Abstract
- I prove a simplified version of Fraisse's Theorem by a topological argument. Viz. by first recognizing models as elements of Cantor space and then applying the Baire category theorem.