Independent sets of axioms
by Yiannis Souldatos
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 G.Hjorth@ms.unimelb.edu.au