School Seminars and Colloquia

Independent sets of axioms

School Seminar

by Yiannis Souldatos

Institution: UCLA
Date: Wed 11th July 2007
Time: 4:30 PM
Location: Room 107, Richard Berry Building, Uni of Melb

Abstract: A set of sentences is called independent, if every sentence in it
doesn’t follow logically from all the other ones. We prove some theorems about
independent sets, in particular, ones in Lw1. Basic familiarity with logic and set
theory is required, but otherwise we will define everything from scratch.

For More Information: Professor Greg Hjorth Phone: +61 3 8344 0449