Universality and strong extensionality
From MaRDI portal
Publication:3937384
DOI10.1007/BF02011643zbMath0481.03031MaRDI QIDQ3937384
Publication date: 1981
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137985
Related Items (3)
Bases of ZF0-models ⋮ Antifoundation and transitive closure in the system of Zermelo ⋮ Weak foundation and axioms of universality
Cites Work
This page was built for publication: Universality and strong extensionality