Principles of continuous choice and continuity of functions in formal systems for constructive mathematics

DOI10.1016/S0003-4843(77)80003-XzbMath0393.03012MaRDI QIDQ4175530

Michael J. Beeson

Publication date: 1977

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

Complete Separable Metric SpaceContinuous ChoiceExplicit MathematicsFeferman's SystemFormal Systems for Constructive MathematicsLocal ContinuityProof-TheoryStable Solution

Mathematics Subject Classification ID

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