Set theoretic foundations for constructive analysis
From MaRDI portal
Publication:1236108
DOI10.2307/1971023zbMath0353.02014OpenAlexW2092169546MaRDI QIDQ1236108
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
Related Items
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
