scientific article; zbMATH DE number 2115803
From MaRDI portal
Publication:4827116
zbMath1087.03033MaRDI QIDQ4827116
Publication date: 16 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
extensionalityantifoundationclosureaxiomatizationcomprehensionequiconsistencyproper classinterpretation of ZFgeneralized positive formulasinterpretation of KM
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)
Related Items (2)
This page was built for publication: