Pages that link to "Item:Q5537358"

The following pages link to Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis (Q5537358):

Displaying 30 items.

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
• A new model for intuitionistic analysis (Q750439) (← links)
• Extended bar induction in applicative theories (Q753810) (← links)
• Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp (Q1050769) (← links)
• Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
• Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
• Some purely topological models for intuitionistic analysis (Q1302294) (← links)
• Everywhere-defined continuous functionals (Q1844828) (← links)
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
• Two simple sets that are not positively Borel (Q2488272) (← links)
• An extension of Schütte's Klammersymbole (Q2528384) (← links)
• Informal theory of choice sequences (Q2561210) (← links)
• Exercising Nuprl’s Open-Endedness (Q2819194) (← links)
• Spielquantorinterpretation unstetiger Funktionale der höheren Analysis (Q3333026) (← links)
• Ordinal analysis of simple cases of bar recursion (Q3912574) (← links)
• Some derived rules of intuitionistic second order arithmetic (Q4159055) (← links)
• Über das Markov-Prinzip II (Q4159056) (← links)
• On the computational content of the axiom of choice (Q4212925) (← links)
• Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
• Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
• On the No-Counterexample Interpretation (Q4948521) (← links)
• A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
• Principles of bar induction and continuity on Baire space (Q5224158) (← links)
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
• Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
• The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
• (Q5545953) (← links)
• (Q5613181) (← links)
• Projective sets, intuitionistically (Q6170638) (← links)
• A logical characterization of the continuous bar induction (Q6601762) (← links)