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

Permutation Models and Symmetric Models
by
Eric Hall
UMKC

A "permutation model" is a model of ZFA (ZF modified to allow atoms) used to give independence results regarding AC and related propositions (also known as a Fraenkel-Mostowski model). A symmetric model, used to produce independence results in ZF (without atoms), can be obtained by forcing over a permutation model, though this is not the usual characterization.

PDF

Date received: June 18, 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-46.