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
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
