Atlas home || Conferences | Abstracts | about Atlas

BLAST 2008
August 6-10, 2008
University of Denver
Denver, CO, USA

Organizers
Rick Ball, Natasha Dobrinen (co-chair), Nikolaos Galatos (co-chair)

View Abstracts
Conference Homepage

Topological Semantics with Settling
by
Robert Lubarsky
Florida Atlantic University

Under the standard topological semantics, sets are thought of as growing as the opens of the topological space shrink. With settling, the (currently extant) sets can at any time become fixed as (images of) ground model sets, and hence stop growing as the opens shrink, while the variable sets become re-incarnated around them. The model of set theory so generated satisfies IZF, save only for Power Set becoming weakened. This is useful for proving some independence results. Other variants of topological models will also be mentioned.

PDF

Date received: May 23, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caxi-10.