The Löwenheim-Skolem theorem for Gödel logic

Annals of Pure and Applied Logic 174 (4):103235 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103235

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

There is no recursive link between the k-size of a model and its cardinality.R. Barker - 2002 - Annals of Pure and Applied Logic 118 (3):235-247.
A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel.E. W. Beth - 1954 - Journal of Symbolic Logic 19 (1):61-61.
Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev.E. W. Beth - 1954 - Journal of Symbolic Logic 19 (1):61-62.
The Limits of Logic: Higher-order Logic and the Löwenheim-Skolem Theorem.Stewart Shapiro - 1996 - Routledge.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
E. W. Beth. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., vol. 56 , pp. 66–71; and Ibid., vol. 15 , pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-62.
E. W. Beth. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., vol. 56 , pp. 66–71; and Ibid., vol. 15 , pp. 66–71. [REVIEW]J. C. Shepherdson - 1954 - Journal of Symbolic Logic 19 (1):61-62.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.

Analytics

Added to PP
2023-01-07

Downloads
13 (#1,044,693)

6 months
5 (#838,466)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
On the classification of first order Gödel logics.Matthias Baaz & Norbert Preining - 2019 - Annals of Pure and Applied Logic 170 (1):36-57.
Omitting Classes of Elements.Michael Morley - 1968 - Journal of Symbolic Logic 33 (2):286-287.

Add more references