Sidney C. Bailin

Available identifiers

zbMath Open bailin.sidney-cMaRDI QIDQ751643

List of research outcomes

Publication	Date of Publication	Type
Retraction of: “A normalization theorem for set theory”	2011-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4436013	2003-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4548194	2002-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4536770	2002-07-22	Paper
Errata to: ``\(Z\)-match: An inference rule for incrementally elaborating set instantiations	1994-12-21	Paper
\({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations	1994-04-12	Paper
A \(\lambda\)-unifiability test for set theory	1988-01-01	Paper
A normalization theorem for set theory	1988-01-01	Paper

Research outcomes over time

This page was built for person: Sidney C. Bailin