A normalization theorem for set theory
From MaRDI portal
Publication:4732467
DOI10.2307/2274565zbMath0683.03036OpenAlexW2053237077MaRDI QIDQ4732467
Publication date: 1988
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274565
normal proofcut-free algorithmnormalization theorem for a natural proof system of Zermelo Set Theory
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Axiomatics of classical set theory and its fragments (03E30)
Related Items
Cites Work