Global quantification in Zermelo-Fraenkel set theory

DOI10.2307/2274215zbMath0606.03012OpenAlexW2098715705MaRDI QIDQ3744155

J. 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)

Cites Work

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

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