- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the existence of Stone-Čech compactification
Journal of Symbolic Logic 75 (4):1137-1146 (2010)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
Compactness in MV-topologies: Tychonoff theorem and Stone–Čech compactification.Luz Victoria De La Pava & Ciro Russo - 2020 - Archive for Mathematical Logic 59 (1-2):57-79.
Exact approximations to Stone–Čech compactification.Giovanni Curi - 2007 - Annals of Pure and Applied Logic 146 (2):103-123.
Completely separable mad families and the modal logic of.Tomáš Lávička & Jonathan L. Verner - 2020 - Journal of Symbolic Logic:1-10.
Completely separable mad families and the modal logic of βω.Tomáš Lávička & Jonathan L. Verner - 2022 - Journal of Symbolic Logic 87 (2):498-507.
The structure of algebraically and existentially closed stone and double stone algebras.David M. Clark - 1989 - Journal of Symbolic Logic 54 (2):363-375.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
Review: M. H. Stone, Note on Formal Logic. [REVIEW]W. V. Quine - 1937 - Journal of Symbolic Logic 2 (4):174-175.
Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Analytics
Added to PP
2010-09-12
Downloads
28 (#558,507)
6 months
1 (#1,723,673)
2010-09-12
Downloads
28 (#558,507)
6 months
1 (#1,723,673)
Historical graph of downloads
Citations of this work
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Topological inductive definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.
Constructive strong regularity and the extension property of a compactification.Giovanni Curi - 2023 - Annals of Pure and Applied Logic 174 (1):103154.
References found in this work
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo