Σ1-well-founded compactness

&
Annals of Mathematical Logic 18 (3):271-296 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(80)90007-8

Links

PhilArchive



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

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.
Σ₁-Compactness and Ultraproducts.Nigel Cutland - 1972 - Journal of Symbolic Logic 37 (4):668 - 672.
Compactness Without Languages.Nigel J. Cutland - 1976 - Mathematical Logic Quarterly 22 (1):113-115.
Σ1-compactness in languages stronger than.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508 - 520.
$sum_1$-Compactness and Ultraproducts.Nigel Cutland - 1972 - Journal of Symbolic Logic 37 (4):668-672.
$mathbf{Sigma}1$-Compactness in Languages Stronger than $mathscr{L}A$.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508-520.
Tychonoff products of compact spaces in ZF and closed ultrafilters.Kyriakos Keremedis - 2010 - Mathematical Logic Quarterly 56 (5):474-487.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Generalising compactness.Hannes Diener - 2008 - Mathematical Logic Quarterly 54 (1):49-57.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.

Analytics

Added to PP
2014-01-17

Downloads
7 (#1,356,784)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Absolute logics and L∞ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.
Applications of strict π11 predicates to infinitary logic.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (3):409 - 423.
The foundations of suslin logic.Erik Ellentuck - 1975 - Journal of Symbolic Logic 40 (4):567-575.
Σ1-compactness in languages stronger than.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508 - 520.

View all 7 references / Add more references