Some forms of excluded middle for linear orders

DOI10.1002/MALQ.201800038MaRDI QIDQ5108849zbMATH OpenOpenAlexFDO

Authors Daniel Wessel, Peter Schuster

Publication date 6 May 2020

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

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

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical and second-order set theories (03E70) Constructive and recursive analysis (03F60)

Recommendations

• Linear orders and semiorders close to an interval order
• On extensions of constructive linear orders
• Linear extensions and comparable pairs in partial orders
• Russian Text Ignored
• scientific article; zbMATH DE number 3877241
• scientific article; zbMATH DE number 924935
• An axiomatic characterization of linear orders
• Linear extensions and order polynomials of finite partially ordered sets
• Cofinalities of linear orders
• Linear extensions and shelling orders

Cites work

• A logic stronger than intuitionism
• Choice Implies Excluded Middle
• Constructivism in mathematics. An introduction. Volume II
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Implicational complexity in intuitionistic arithmetic
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories

This page was built for publication: Some forms of excluded middle for linear orders

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