Retraction of: “A normalization theorem for set theory”

DOI10.2178/JSL/1309952536zbMATH Open1226.03059OpenAlexW1983843107MaRDI QIDQ3173543FDOQ3173543

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)