Compactness in constructive analysis revisited

&
Annals of Pure and Applied Logic 36:29-38 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90010-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 105,859

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

WEIHRAUCH, K. and KREITZ, C., Representations of the real numbers and of the open subsets of the set of real numbers WILKIE, AJ and PARIS, JB, On the scheme of induction for bounded arithmetic formulas. [REVIEW]Las Kirby & R. Diaconescu - 1987 - Annals of Pure and Applied Logic 35:303.
The strength of compactness in Computability Theory and Nonstandard Analysis.Dag Normann & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (11):102710.
Characterizing weak compactness.Lee J. Stanley - 1984 - Annals of Pure and Applied Logic 26 (1):89-99.
Indestructible strong compactness but not supercompactness.Arthur W. Apter, Moti Gitik & Grigor Sargsyan - 2012 - Annals of Pure and Applied Logic 163 (9):1237-1242.
A topological characterization of (λ, μ)*-compactness.Heikki Mannila - 1983 - Annals of Pure and Applied Logic 25 (3):301-305.
Determinacy from strong compactness of ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.
Two-cardinal versions of weak compactness: Partitions of pairs.Pierre Matet & Toshimichi Usuba - 2012 - Annals of Pure and Applied Logic 163 (1):1-22.
Indestructibility of some compactness principles over models of PFA.Radek Honzik, Chris Lambie-Hanson & Šárka Stejskalová - 2024 - Annals of Pure and Applied Logic 175 (1):103359.
Effective compactness and orbits of points under the isometry group.Zvonko Iljazović & Lucija Validžić - 2023 - Annals of Pure and Applied Logic 174 (2):103198.
Complicated colorings, revisited.Assaf Rinot & Jing Zhang - 2023 - Annals of Pure and Applied Logic 174 (4):103243.

Analytics

Added to PP
2014-01-16

Downloads
29 (#860,455)

6 months
2 (#1,360,754)

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

Add more references