Pages that link to "Item:Q5611760"

The following pages link to Formal systems for some branches of intuitionistic analysis (Q5611760):

Displaying 50 items.

• From the weak to the strong existence property (Q448335) (← links)
• Locatedness and overt sublocales (Q638474) (← links)
• Extended bar induction in applicative theories (Q753810) (← links)
• Sheaf models for choice sequences (Q798316) (← links)
• Constructive formalization of the Tennenbaum theorem and its applications (Q803126) (← links)
• On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
• The intuitionistic alternative set theory (Q1208081) (← links)
• Brouwer's constructivism (Q1220903) (← links)
• A hierarchy of Brouwer constructive functionals (Q1256468) (← links)
• The theory of empirical sequences (Q1257482) (← links)
• Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
• From constructivism to computer science (Q1274450) (← links)
• \(QPC_ 2\): A constructive calculus with parameterized specifications (Q1322848) (← links)
• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
• The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
• A classical view of the intuitionistic continuum (Q1923572) (← links)
• Realizing Brouwer's sequences (Q1923574) (← links)
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
• Between Turing and Kleene (Q2151416) (← links)
• Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
• Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
• Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
• Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
• CZF does not have the existence property (Q2637709) (← links)
• Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
• Continuous functions on final coalgebras (Q2805147) (← links)
• The principle of pointfree continuity (Q3121524) (← links)
• Toward useful type-free theories. I (Q3691666) (← links)
• On choice sequences determined by spreads (Q3714078) (← links)
• Relative lawlessness in intuitionistic analysis (Q3778020) (← links)
• On the derivability of instantiation properties (Q3875927) (← links)
• (Q4135468) (← links)
• Über das Markov-Prinzip II (Q4159056) (← links)
• The use of Kripke's schema as a reduction principle (Q4161321) (← links)
• Eine beweistheoretische Anwendung partieller stetiger Funktionale (Q4184826) (← links)
• (Q4404863) (← links)
• INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
• THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
• Higher order functions and Brouwer’s thesis (Q5016215) (← links)
• Formally continuous functions on Baire space (Q5109223) (← links)
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
• (Q5539743) (← links)
• (Q5652656) (← links)
• Can there be no nonrecursive functions? (Q5659520) (← links)
• A system of abstract constructive ordinals (Q5680102) (← links)
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
• Analyzing realizability by Troelstra's methods (Q5957857) (← links)
• EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
• Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)