Henkin's completeness proof: Forty years later

DOI10.1305/NDJFL/1093635746zbMath0751.03003OpenAlexW2091754495MaRDI QIDQ1183715

Peter Roeper, Hugues Leblanc, Michael Thau, George E. Weaver

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635746

zbMATH Keywords

first-order languageHenkin setinstantial logicomega-logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical first-order logic (03B10) Other model constructions (03C30)

Related Items (1)

The \(\omega{}\)-rule

This page was built for publication: Henkin's completeness proof: Forty years later