Kripke–Platek set theory (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Kripke–Platek set theory" in English language version.

refsWebsite

Global rank English rank

6^th place

archive.org

Poizat, Bruno (2000). A course in model theory: an introduction to contemporary mathematical logic. Springer. ISBN 0-387-98655-3., note at end of §2.3 on page 27: "Those who do not allow relations on an empty universe consider (∃x)x=x and its consequences as theses; we, however, do not share this abhorrence, with so little logical ground, of a vacuum."