The strength of extensionality. I: Weak weak set theories with infinity
proof-theoretic strength of the axioms of set theory
scientific article; zbMATH DE number 5532843
scientific article