scientific article; zbMATH DE number 2247263
From MaRDI portal
Publication:5718575
zbMath1095.03075MaRDI QIDQ5718575
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items (39)
Constructive and mechanised meta-theory of intuitionistic epistemic logic ⋮ Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ ⋮ Equivalence of bar induction and bar recursion for continuous functions with continuous moduli ⋮ Decidable fan theorem and uniform continuity theorem with continuous moduli ⋮ König's lemma, weak König's lemma, and the decidable fan theorem ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma ⋮ Refining the arithmetical hierarchy of classical principles ⋮ Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ Reclassifying the antithesis of Specker's theorem ⋮ Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem ⋮ The uniform boundedness theorem and a boundedness principle ⋮ The binary expansion and the intermediate value theorem in constructive reverse mathematics ⋮ Some axioms for constructive analysis ⋮ Metric spaces in synthetic topology ⋮ Characterising Brouwer's continuity by bar recursion on moduli of continuity ⋮ The principle of pointfree continuity ⋮ A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Lindenbaum’s Lemma via Open Induction ⋮ The Monotone Completeness Theorem in Constructive Reverse Mathematics ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ Point-Free Spectra of Linear Spreads ⋮ A fan-theoretic equivalent of the antithesis of Specker's theorem ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Intuitionistic sequential compactness? ⋮ On Brouwer's continuity principle ⋮ INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES ⋮ A computable version of Banach's inverse mapping theorem ⋮ Equivalents of the finitary non-deterministic inductive definitions ⋮ Weihrauch and constructive reducibility between existence statements ⋮ Finite sets and infinite sets in weak intuitionistic arithmetic ⋮ Problems, solutions, and completions ⋮ \(\Delta^0_1\) variants of the law of excluded middle and related principles ⋮ An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis ⋮ Parallelizations in Weihrauch reducibility and constructive reverse mathematics ⋮ Bishop-Style Constructive Reverse Mathematics ⋮ Minimum classical extensions of constructive theories
This page was built for publication:
