A Note on the Compactness Theorem in First Order Logic

Mathematical Logic Quarterly 26 (7-9):111-113 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800260704

Links

PhilArchive



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

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

Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
A note on extensions of infinitary logic.Saharon Shelah & Jouko Väänänen - 2005 - Archive for Mathematical Logic 44 (1):63-69.
A Compactness Theorem For Infinite Constraint Satisfaction.Robert Cowen - 1998 - Reports on Mathematical Logic:97-107.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
Compactness and normality in abstract logics.Xavier Caicedo - 1993 - Annals of Pure and Applied Logic 59 (1):33-43.
A note on the compactness theorem.R. R. Rockingham Gill - 1975 - Mathematical Logic Quarterly 21 (1):377-378.
Random variables and integral logic.Karim Khanaki & Seyed-Mohammad Bagheri - 2011 - Mathematical Logic Quarterly 57 (5):494-503.
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.
Compactness in first order Łukasiewicz logic.N. Tavana, M. Pourmahdian & F. Didehvar - 2012 - Logic Journal of the IGPL 20 (1):254-265.
A Note on the Interpolation Theorem in First Order Logic.George Weaver - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218.
A note on Hjorth's oscillation theorem.Julien Melleray - 2010 - Journal of Symbolic Logic 75 (4):1359-1365.
Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590. [REVIEW]Igor Oliveira & Walter Carnielli - 2009 - Logic Journal of the IGPL 17 (6):803-804.
On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.Vera Koponen & Tapani Hyttinen - 2015 - Studia Logica 103 (1):1-20.
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.

Analytics

Added to PP
2013-12-01

Downloads
30 (#502,094)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

View all 8 references / Add more references