Two direct proofs that LLPO implies the detachable fan theorem

DOI10.1093/JIGPAL/JZT003zbMATH Open1323.03091OpenAlexW1994407646MaRDI QIDQ5176663

M. N. McKubre-Jordens, Douglas S. Bridges, J. E. Dent

Publication date: 27 February 2015

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzt003

zbMATH Keywords

Bishop-style constructive mathematicsfan theoremLLPO

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Equivalents of the (weak) fan theorem 👍 👎
• Weak König's lemma implies Brouwer's fan theorem: a direct proof 👍 👎
• Separating the fan theorem and its weakenings. II 👍 👎
• A new short proof of Fan Theorem 👍 👎
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS 👍 👎
• A simple and constructive proof to a generalization of Lüroth's theorem 👍 👎
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II 👍 👎

This page was built for publication: Two direct proofs that LLPO implies the detachable fan theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176663)