An ω-hierarchy of axiom systemZF

DOI10.1007/BF02107596zbMATH Open0713.03025OpenAlexW2995405987WikidataQ114693689 ScholiaQ114693689MaRDI QIDQ3197817

Jin-wen Zhang

Publication date: 1990

Published in: Acta Mathematica Sinica, English Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02107596

zbMATH Keywords

consistencyZermelo set theoryfragments of ZF

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Title not available (Why is that?)
• A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed

Related Items (1)

The cumulative hierarchy and the constructible universe of ZFA

This page was built for publication: An ω-hierarchy of axiom systemZF

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