Set theoretic foundations for constructive analysis

DOI10.2307/1971023zbMath0353.02014OpenAlexW2092169546MaRDI QIDQ1236108

Harvey M. Friedman

Publication date: 1977

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1971023

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items (34)

Interpretation of constructive multi-typed theory in the theory of arithmetical truth ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Recursively saturated nonstandard models of arithmetic ⋮ Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen ⋮ A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS ⋮ Forcing in intuitionistic systems without power-set ⋮ Constructive notions of equicontinuity ⋮ Direct spectra of Bishop spaces and their limits ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience ⋮ What does logic have to tell us about mathematical proofs? ⋮ Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ The intermediate value theorem in constructive mathematics without choice ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Constructing the minimal period of homomorphisms into \(\mathbb R^n\) ⋮ SEPARATING FRAGMENTS OF WLEM, LPO, AND MP ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Topological inductive definitions ⋮ Relating First-Order Set Theories and Elementary Toposes ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ Continuous homomorphisms of R onto a compact group ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Extending constructive operational set theory by impredicative principles ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Aspects of predicative algebraic set theory. II: Realizability ⋮ Continuous isomorphisms from R onto a complete abelian group ⋮ Glueing continuous functions constructively ⋮ Unnamed Item ⋮ Beweistheorie vonKPN ⋮ The generalised type-theoretic interpretation of constructive set theory ⋮ Intensionality in mathematics ⋮ Towards a computation system based on set theory ⋮ Constructive mathematics: a foundation for computable analysis ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: Set theoretic foundations for constructive analysis