Compactness of Powers of ω

• Autorzy: Lipparini P.

Identyfikatory

DOI

10.4064/ba61-3-5

• Języki publikacji: EN

Abstrakty

EN

We characterize exactly the compactness properties of the product of κ copies of the space ω with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in elementary extensions. We also have results involving products of possibly uncountable regular cardinals.

Słowa kluczowe

EN

powers of omega; finally compact topological space; infinitary language; ultrafilter convergence; uniform ultrafilter; lambda-nonstandard element; weakly compact cardinal

• Wydawca: Instytut Matematyczny PAN
• Czasopismo: Bulletin of the Polish Academy of Sciences. Mathematics
• Rocznik: 2013
• Tom: Vol. 61, no 3-4
• Strony: 239--246
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Lipparini P.

• Dipartimento di Matematica II Università di Roma (Tor Vergata) Viale della Ricerca Scientifica I-00133 Roma, Italy

Bibliografia

• [1] W. Boos, Infinitary compactness without strong inaccessibility, J. Symbolic Logic 41 (1976), 33–38.
• [2] X. Caicedo, The abstract compactness theorem revisited, in: Logic and Foundations of Mathematics, A. Cantini et al. (eds.), Synthese Library 280, Kluwer, Dordrecht, 1999, 131–141; http://matematicas.uniandes.edu.co/webxcaicedo/.
• [3] C. C. Chang, Descendingly incomplete ultrafilters, Trans. Amer. Math. Soc. 126 (1967), 108–118.
• [4] D. V. Cudnovski, Topological properties of products of discrete spaces, and set theory, Dokl. Akad. Nauk SSSR 204 (1972), 298–301 (in Russian); English transl.: Soviet Math. Dokl. 13 (1972), 661– 665.
• [5] P. Lipparini, The compactness spectrum of abstract logics, large cardinals and combinatorial principles, Boll. Un. Mat. Ital. B (7) 4 (1990), 875–903; http://www.mat.uniroma2.it/~lipparin/art/umicpn.pdf.
• [6] P. Lipparini, Ultrafilter translations. I. (λ,λ)-compactness of logics with a cardinality quantifier, Arch. Math. Logic 35 (1996), 63–87.
• [7] J. Łos, Linear equations and pure subgroups, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 7 (1959), 13–18.
• [8] S. Mrówka, On E-compact spaces. II, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 14 (1966), 597–605.
• [9] S. Mrówka, Some strengthenings of the Ulam nonmeasurability condition, Proc. Amer. Math. Soc. 25 (1970), 704–711.
• [10] J. Mycielski, α-incompactness of Nα, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 437–438.
• [11] V. Saks, Ultrafilter invariants in topological spaces, Trans. Amer. Math. Soc. 241(1978), 79–97.