Σ₁-Compactness and Ultraproducts

Journal of Symbolic Logic 37 (4):668 - 672 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272411

Links

PhilArchive



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

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

??-compactness and ultraproducts.Nigel Cutland - 1972 - Journal of Symbolic Logic 37 (4):668-672.
Σ1-compactness in languages stronger than.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508 - 520.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Applications of PCF theory.Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (4):1624-1674.
Measurability and degrees of strong compactness.Arthur W. Apter - 1981 - Journal of Symbolic Logic 46 (2):249-254.
Compactness versus interior-to-edge ratio; two approaches for habitat's ranking.Attila R. Imre - 2006 - Acta Biotheoretica 54 (1):21-26.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
On Finding Compactness in Aristotle.Michael Scanlan - 1983 - History and Philosophy of Logic 4 (1&2):1-8.
Graded modalities. III (the completeness and compactness of s40).M. Fattorosi-Barnaba & C. Cerrato - 1988 - Studia Logica 47 (2):99 - 110.
Level Compactness.Gillman Payette & Blaine D'Entremont - 2006 - Notre Dame Journal of Formal Logic 47 (4):545-555.
Definitions of Compactness and the Axiom of Choice.Omar De La Cruz, Eric Hall, Paul Howard, Jean E. Rubin & Adrienne Stanley - 2002 - Journal of Symbolic Logic 67 (1):143 - 161.
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.
Some examples of ultraproducts.Kenneth Loewen - 1969 - Studia Logica 24 (1):47 - 53.
Limit ultraproducts.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (2):212-234.

Analytics

Added to PP
2011-05-29

Downloads
3 (#1,708,048)

6 months
2 (#1,186,462)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references