Proof of the law of infinite conjunction using the perfect disjunctive normal form

DOI10.2307/2271657zbMath0144.24403OpenAlexW2102858863MaRDI QIDQ5520634

James E. Thomson

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271657

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

König's Infinity Lemma and Beth's Tree Theorem

This page was built for publication: Proof of the law of infinite conjunction using the perfect disjunctive normal form