Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem

Archive for Mathematical Logic 44 (4):459-472 (2005)
  Copy   BIBTEX

Abstract

We formulate a restricted version of the Tukey-Teichmüller Theorem that we denote by (rTT). We then prove that (rTT) and (BPI) are equivalent in ZF and that (rTT) applies rather naturally to several equivalent forms of (BPI): Alexander Subbase Theorem, Stone Representation Theorem, Model Existence and Compactness Theorems for propositional and first-order logic. We also give two variations of (rTT) that we denote by (rTT)+ and (rTT)++; each is equivalent to (rTT) in ZF. The variation (rTT)++ applies rather naturally to various Selection Lemmas due to Cowen, Engeler, and Rado

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: 102,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Fan Theorem, its strong negation, and the determinacy of games.Wim Veldman - 2025 - Archive for Mathematical Logic 64 (1):1-66.
Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
Reply to Robert Koons.Anil Gupta & Nuel Belnap - 1994 - Notre Dame Journal of Formal Logic 35 (4):632-636.
Regressive versions of Hindman’s theorem.Lorenzo Carlucci & Leonardo Mainardi - 2024 - Archive for Mathematical Logic 63 (3):447-472.

Analytics

Added to PP
2013-11-23

Downloads
54 (#410,585)

6 months
7 (#658,938)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
[Omnibus Review].Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.
Eine Konstruktion von Modellerweiterungen.Erwin Engeler - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):126-131.
Eine Konstruktion von Modellerweiterungen.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (7‐13):126-131.

Add more references