Retraction of: “A normalization theorem for set theory”
From MaRDI portal
Publication:3173543
DOI10.2178/jsl/1309952536zbMath1226.03059OpenAlexW1983843107MaRDI QIDQ3173543
Publication date: 10 October 2011
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1309952536
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Axiomatics of classical set theory and its fragments (03E30)