Global quantification in Zermelo-Fraenkel set theory

DOI10.2307/2274215MaRDI QIDQ3744155zbMATH OpenOpenAlexFDO

Authors John P. Mayberry

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274215

zbMATH Keywords

impredicativityformalization of Zermelo-Fraenkel set theoryglobal quantifiersglobal Zermelo- Fraenkel set theorylocal Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• scientific article; zbMATH DE number 3316895
• scientific article; zbMATH DE number 1241476
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• On the quantificational logic of intuitionistic set theory
• scientific article; zbMATH DE number 3991489

Cites work

• A quasi-intumonistic set theory
• Proof theory
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(4)

• scientific article; zbMATH DE number 4101175 (Why is no real title available?)
• Globalization of intuitionistic set theory
• Completeness of global intuitionistic set theory
• Localizing the axioms

This page was built for publication: Global quantification in Zermelo-Fraenkel set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3744155)