Unifying some modifications of the Henkin construction

DOI10.1305/NDJFL/1093634409zbMATH Open0768.03009OpenAlexW1974391479MaRDI QIDQ1203774FDOQ1203774

George E. Weaver

Publication date: 22 February 1993

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

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

zbMATH Keywords

\(\omega\)-logic\(\omega\)-complete sets\(\omega\)-completeness theoremabstract deducibility relationsGoldblatt's Countable Henkin Principle

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

This page was built for publication: Unifying some modifications of the Henkin construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1203774)