Global quantification in Zermelo-Fraenkel set theory

DOI10.2307/2274215zbMATH Open0606.03012OpenAlexW2098715705MaRDI QIDQ3744155FDOQ3744155

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

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

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• 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)