[FOM] ZFC + Atoms

Steven Obua obua at in.tum.de
Wed May 11 14:00:35 EDT 2005


Has anyone a reference to the axioms of Zermelo-Fränkel set theory + 
choice + Urelemente (atoms)?

-- 
Steven Obua
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
D-85748 Garching

Tel: ++49 (0)89 / 289-17328
EMail: obua at in.tum.de
Raum: 01.11.059



More information about the FOM mailing list