[FOM] ZFC + Atoms

[Alexei E Angelides]

In Zermelo, "Über Grenzzahlen und Mengenbereiche: Neue Untursuchungen über
die Grundlagen der Mengenlehre" (1930), you will find the ZFC axioms plus
urelemente, and a thorough account of those axioms, although it is a
second-order presentation. You can find a similar account, but in the
first-order garb, in A.A. Fraenkel, Y. Bar-Hillel, _Foundations of Set
Theory_ (1958).

Alexei Angelides

Quoting Steven Obua <obua at in.tum.de>:

> 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
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>