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

Mathematical Logic Quarterly 14 (13-17):245-254 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680141304

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13‐17):245-254.
Compactness, the löwenheim‐skolem property and the direct product of lattices of truth values.Mingsheng Ying - 1992 - Mathematical Logic Quarterly 38 (1):521-524.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel.E. W. Beth - 1954 - Journal of Symbolic Logic 19 (1):61-61.
Abstract Logics and Lindström's Theorem.Niclas Bengtsson - unknown
Countable approximations and Löwenheim-Skolem theorems.David W. Kueker - 1977 - Annals of Mathematical Logic 11 (1):57.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.
On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman - 2014 - Logica Universalis 8 (3-4):345-391.
Sets, Logic, Computation: An Open Introduction to Metalogic.Richard Zach - 2019 - Open Logic Project.

Analytics

Added to PP
2013-11-24

Downloads
75 (#281,068)

6 months
10 (#422,339)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Bas C. Van Fraassen
San Francisco State University

Citations of this work

On supervaluations in free logic.Peter W. Woodruff - 1984 - Journal of Symbolic Logic 49 (3):943-950.
Compactness of a supervaluational language.E. Bencivenga - 1983 - Journal of Symbolic Logic 48 (2):384-386.

Add more citations

References found in this work

The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.
Existential import revisited.Karel Lambert - 1963 - Notre Dame Journal of Formal Logic 4 (4):288-292.

Add more references