Pages that link to "Item:Q1236108"

The following pages link to Set theoretic foundations for constructive analysis (Q1236108):

Displaying 34 items.

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