The Monotone Completeness Theorem in Constructive Reverse Mathematics

DOI10.1007/978-3-030-20447-1_8zbMath1469.03172OpenAlexW2982084202MaRDI QIDQ3305629

Takako Nemoto, Hajime Ishihara

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_8

zbMATH Keywords

constructive mathematicsreverse mathematicsmonotone completeness theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Equivalents of the (weak) fan theorem
• Finite sets and infinite sets in weak intuitionistic arithmetic
• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• The binary expansion and the intermediate value theorem in constructive reverse mathematics
• On Brouwer's continuity principle
• Things that can and things that cannot be done in PRA
• Limited Omniscience and the Bolzano-Weierstrass Principle
• Bishop-Style Constructive Reverse Mathematics
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Automata, Languages and Programming

This page was built for publication: The Monotone Completeness Theorem in Constructive Reverse Mathematics