A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic

DOI10.1002/malq.19680141304zbMath0165.01502OpenAlexW2047808483MaRDI QIDQ5549795

Bas C. van Fraassen

Publication date: 1968

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19680141304

zbMATH Keywords

algebraic logic, model theory

Related Items

On supervaluations in free logic, Dirac and the dispensability of mathematics, A note on Schmidt states and consistency, Vagueness, truth and logic, Existence, presupposition and anaphoric space, Compactness of a supervaluational language, Entailment and bivalence