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

DOI10.1002/malq.201700022OpenAlexW2810701505MaRDI QIDQ5109218

Eleftherios Tachtsis

Publication date: 11 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201700022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Auswahlaxiom in der Algebra
• Nielsen‐Schreier and the Axiom of Choice
• Subgroups of a free group and the axiom of choice
• Prime ideals yield almost maximal ideals
• Classes of Dedekind finite cardinals
• Adding dependent choice
• The independence of the axiom of choice from the Boolean prime ideal theorem
• Direct Decomposition of Partitions
• The axiom of choice

This page was built for publication: A note on the deductive strength of the Nielsen‐Schreier theorem