A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic
- 1 January 1968
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 14 (13-17) , 245-254
- https://doi.org/10.1002/malq.19680141304
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Existential import revisited.Notre Dame Journal of Formal Logic, 1963
- Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten StufeThe Journal of Symbolic Logic, 1953
- A Topological Proof of the Theorem of Löwenheim−Skolem−GödelIndagationes Mathematicae, 1951