Countable approximations and Löwenheim-Skolem theorems

Annals of Mathematical Logic 11 (1):57 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(77)90010-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems. [REVIEW]Victor Harnik - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
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.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
Löwenheim-Skolem and Interpolation Theorems in Infinitary Languages.David W. Kueker & K. Jon Barwise - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
Upward Stability Transfer for Tame Abstract Elementary Classes.John Baldwin, David Kueker & Monica VanDieren - 2006 - Notre Dame Journal of Formal Logic 47 (2):291-298.
Hilary Putnam.Hilary Putnam - unknown
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.
Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.
Ontological Relativity Considered: Quine on Löwenheim-Skolem, Davidson on Quine.H. Hrachovec - 2005 - Teorema: International Journal of Philosophy 24 (2).
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.

Analytics

Added to PP
2014-01-17

Downloads
27 (#572,408)

6 months
10 (#257,583)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
On the size of closed unbounded sets.James E. Baumgartner - 1991 - Annals of Pure and Applied Logic 54 (3):195-227.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
More game-theoretic properties of boolean algebras.Thomas J. Jech - 1984 - Annals of Pure and Applied Logic 26 (1):11-29.

View all 24 citations / Add more citations

References found in this work

Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.
Finite quantifier equivalence.Carol Karp - 1965 - Journal of Symbolic Logic 36 (1):407--412.
Infinitary analogs of theorems from first order model theory.Jerome Malitz - 1971 - Journal of Symbolic Logic 36 (2):216-228.

View all 11 references / Add more references