Retraction of: “A normalization theorem for set theory”

DOI10.2178/JSL/1309952536MaRDI QIDQ3173543zbMATH OpenOpenAlexFDO

Authors Sidney C. Bailin

Publication date 10 October 2011

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

Full work available at URL https://doi.org/10.2178/jsl/1309952536

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)

Cited in

(1)

• Retraction: On Hilbert's 8th problem

This page was built for publication: Retraction of: “A normalization theorem for set theory”

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