Publication:5718575
From MaRDI portal
zbMath1095.03075MaRDI QIDQ5718575
Publication date: 16 January 2006
03B30: Foundations of classical theories (including reverse mathematics)
03F65: Other constructive mathematics
03F35: Second- and higher-order arithmetic and fragments
Related Items
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES, Weihrauch and constructive reducibility between existence statements, Bishop-Style Constructive Reverse Mathematics, Decidable fan theorem and uniform continuity theorem with continuous moduli, König's lemma, weak König's lemma, and the decidable fan theorem, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Refining the arithmetical hierarchy of classical principles, Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma, Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem, The uniform boundedness theorem and a boundedness principle, Some axioms for constructive analysis, Metric spaces in synthetic topology, Finite sets and infinite sets in weak intuitionistic arithmetic, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, A computable version of Banach's inverse mapping theorem, Problems, solutions, and completions, The binary expansion and the intermediate value theorem in constructive reverse mathematics, A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem, Intuitionistic sequential compactness?, On Brouwer's continuity principle, Reclassifying the antithesis of Specker's theorem, \(\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, Minimum classical extensions of constructive theories, Constructive and mechanised meta-theory of intuitionistic epistemic logic, Characterising Brouwer's continuity by bar recursion on moduli of continuity, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Equivalents of the finitary non-deterministic inductive definitions, Equivalence of bar induction and bar recursion for continuous functions with continuous moduli, A fan-theoretic equivalent of the antithesis of Specker's theorem, Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$, The principle of pointfree continuity, 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
