Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
From MaRDI portal
Publication:4175530
DOI10.1016/S0003-4843(77)80003-XzbMath0393.03012MaRDI QIDQ4175530
Publication date: 1977
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Complete Separable Metric SpaceContinuous ChoiceExplicit MathematicsFeferman's SystemFormal Systems for Constructive MathematicsLocal ContinuityProof-TheoryStable Solution
Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25) Proof theory and constructive mathematics (03F99)
Related Items (14)
1997–98 Annual Meeting of the Association for Symbolic Logic ⋮ Relative constructivity ⋮ Forcing in intuitionistic systems without power-set ⋮ What does logic have to tell us about mathematical proofs? ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Derived rules for predicative set theory: an application of sheaves ⋮ Effectivity properties of intuitionistic set theory with collection scheme ⋮ A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ Forcing in Proof Theory ⋮ The behavior of a minimal surface in a corner ⋮ Explicit determination in \(\mathbb{R}^N\) of \((N-1)\)-dimensional area minimizing surfaces with arbitrary boundaries ⋮ Differential equations in constructive analysis and in the recursive realizability topos ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis ⋮ On the Area of Harmonic Surfaces
This page was built for publication: Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
