Seminar series
Date
Thu, 28 Nov 2013
Time
17:15 -
18:15
Location
L6
Speaker
James Studd
Organisation
Oxford
The use of tensed language and the metaphor of set "formation" found in informal descriptions of the iterative conception of set are seldom taken at all seriously. This talk offers an axiomatisation of the iterative conception in a bimodal language and presents some reasons to thus take the tense more seriously than usual (although not literally).