Σ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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,148

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

Nigel J. Cutland. Nonstandard measure theory and its applications. The bulletin of the London Mathematical Society, vol. 15 , pp. 529–589. [REVIEW]Joram Hirschfeld - 1989 - Journal of Symbolic Logic 54 (1):290-291.
Recursive well-founded orderings.Keh-Hsun Chen - 1978 - Annals of Mathematical Logic 13 (2):117-147.
Recursice well-founded orderings.D. -H. Chen - 1978 - Annals of Mathematical Logic 13 (2):117.
On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
Compactness for omitting of types.Miroslav Benda - 1978 - Annals of Mathematical Logic 14 (1):39.
Steel forcing and barwise compactness.Sy D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31-46.
Compactness, interpolation and Friedman's third problem.Daniele Mundici - 1982 - Annals of Mathematical Logic 22 (2):197.
Σ1-compactness in languages stronger than.Nigel Cutland - 1978 - Journal of Symbolic Logic 43 (3):508 - 520.
Models with compactness properties relative to an admissible language.J. P. Ressayre - 1977 - Annals of Mathematical Logic 11 (1):31.
Strong compactness and other cardinal sins.Jussi Ketonen - 1972 - Annals of Mathematical Logic 5 (1):47.

Analytics

Added to PP
2014-01-17

Downloads
23 (#1,037,421)

6 months
6 (#723,794)

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