A topological characterization of (λ, μ)*-compactness

Annals of Pure and Applied Logic 25 (3):301-305 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90022-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

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

The λ μ T -calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
μ-clubs of P(λ): Paradise in heaven.Pierre Matet - 2025 - Annals of Pure and Applied Logic 176 (1):103497.
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.Murdoch J. Gabbay & Michael Gabbay - 2017 - Annals of Pure and Applied Logic 168 (3):501-621.
Cardinalities of topologies with small base.Saharon Shelah - 1994 - Annals of Pure and Applied Logic 68 (1):95-113.
A new characterization of supercompactness and applications.Qi Feng - 2009 - Annals of Pure and Applied Logic 160 (2):192-213.
Characterizing weak compactness.Lee J. Stanley - 1984 - Annals of Pure and Applied Logic 26 (1):89-99.
Completeness for μ-calculi: A coalgebraic approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
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 note on μ-stabilizers in ACVF.Jinhe Ye - 2023 - Annals of Pure and Applied Logic 174 (3):103210.
The secret life of μ-clubs.Pierre Matet - 2022 - Annals of Pure and Applied Logic 173 (9):103162.

Analytics

Added to PP
2014-01-16

Downloads
21 (#1,008,197)

6 months
4 (#1,252,858)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logics From Ultrafilters.Daniele Mundici - forthcoming - Review of Symbolic Logic:1-18.

Add more citations

References found in this work

Add more references