A note on the deductive strength of the Nielsen‐Schreier theorem

Mathematical Logic Quarterly 64 (3):173-177 (2018)
  Copy   BIBTEX

Abstract

We show that the Boolean Prime Ideal Theorem () does not imply the Nielsen‐Schreier Theorem () in, thus strengthening the result of Kleppmann from “Nielsen‐Schreier and the Axiom of Choice” that the (strictly weaker than ) Ordering Principle () does not imply in. We also show that is false in Mostowski's Linearly Ordered Model of. The above two results also settle the corresponding open problems from Howard and Rubin's “Consequences of the Axiom of Choice”.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201700022

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

On the set-theoretic strength of ellis’ theorem and the existence of free idempotent ultrafilters on ω.Eleftherios Tachtsis - 2018 - Journal of Symbolic Logic 83 (2):551-571.
Nielsen‐Schreier and the Axiom of Choice.Philipp Kleppmann - 2015 - Mathematical Logic Quarterly 61 (6):458-465.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
Reducing the consistency strength of an indestructibility theorem.Arthur Agler - 2008 - Mathematical Logic Quarterly 54 (3):288-293.
A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
A note on exponentiation.Ch Cornaros & C. Dimitracopoulos - 1993 - Journal of Symbolic Logic 58 (1):64-71.
Fregean logics with the multiterm deduction theorem and their algebraization.J. Czelakowski & D. Pigozzi - 2004 - Studia Logica 78 (1-2):171-212.
Reflecting rules: A note on generalizing the deduction theorem.Gillman Payette - 2015 - Journal of Applied Logic 13 (3):188-196.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.
Fully Adequate Gentzen Systems And The Deduction Theorem.Josep Font, Ramon Jansana & Don Pigozzi - 2001 - Reports on Mathematical Logic:115-165.
On the strength of Ramsey's theorem without Σ1 -induction.Keita Yokoyama - 2013 - Mathematical Logic Quarterly 59 (1-2):108-111.
A note on a theorem of Ax.Piotr Kowalski - 2008 - Annals of Pure and Applied Logic 156 (1):96-109.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.

Analytics

Added to PP
2018-08-08

Downloads
17 (#843,162)

6 months
2 (#1,263,261)

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

Subgroups of a free group and the axiom of choice.Paul E. Howard - 1985 - Journal of Symbolic Logic 50 (2):458-467.
Nielsen‐Schreier and the Axiom of Choice.Philipp Kleppmann - 2015 - Mathematical Logic Quarterly 61 (6):458-465.
Adding dependent choice.David Pincus - 1977 - Annals of Mathematical Logic 11 (1):105.

Add more references