scientific article; zbMATH DE number 3878897

MaRDI QIDQ3343963zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 1983

zbMATH Keywords

cut eliminationtype free arithmetically complete systemZF

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Consistency and independence results (03E35) Cut-elimination and normal-form theorems (03F05)

Recommendations

• On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\)
• A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas
• A linear conservative extension of Zermelo-Fraenkel set theory
• scientific article; zbMATH DE number 3878895
• An ω-hierarchy of axiom systemZF

Cited in

(5)

• A linear conservative extension of Zermelo-Fraenkel set theory
• On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\)
• An ω-hierarchy of axiom systemZF
• scientific article; zbMATH DE number 3991489 (Why is no real title available?)
• A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas

This page was built for publication:

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