|
Organizers |
AC fails in the stratfied version of L
by
Thomas Forster
Cambridge
Two constructions are given of structures which naturally model the stratified fragment of ZF. One (``HS'') is an analogue of the cumulative hierarchy of Von Neumann, and the other (``S'') is an analogue of L. AC fails in both.
Date received: March 11, 2002
Copyright © 2002 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 Mathematical Conference Abstracts. Document # cair-03.