Constructive Proofs of Negated Statements

DOI10.1007/978-3-030-20447-1_5zbMath1469.03168OpenAlexW2982071018MaRDI QIDQ3305626

Josef Berger, Gregor Svindland

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_5

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Cites Work

• Unnamed Item
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Convexity and constructive infima
• Eliminating disjunctions by disjunction elimination
• Convexity and unique minimum points
• The binary expansion and the intermediate value theorem in constructive reverse mathematics
• Near convexity, metric convexity, and convexity
• BROUWER’S FAN THEOREM AND CONVEXITY
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

This page was built for publication: Constructive Proofs of Negated Statements