Antifoundation and transitive closure in the system of Zermelo (Q5937852)
From MaRDI portal
scientific article; zbMATH DE number 1620847
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Antifoundation and transitive closure in the system of Zermelo |
scientific article; zbMATH DE number 1620847 |
Statements
Antifoundation and transitive closure in the system of Zermelo (English)
0 references
17 July 2001
0 references
Zermelo set theory without foundation
0 references
transitive closure
0 references
antifoundation
0 references
consistency
0 references
