Other work by Church in this area includes Set theory with a universal set published in 1971 which examines a variant of ZF-type axiomatic set theory and Comparison of Russell's resolution of the semantical antinomies with that of Tarski published in 1976.
Iba pang mga gawain ng Iglesia sa mga lugar na ito kasama ang Itakda ang teorya sa isang universal set-publish sa 1971 na kung saan ang isang pabagu ng ZF-axiomatic itakda ang uri ng teorya at Paghahambing ng mga Russell's resolution ng semantical antinomies sa na-publish ng Tarski sa 1976.