Pages that link to "Item:Q5575558"
From MaRDI portal
The following pages link to Formalized recursive functionals and formalized realizability (Q5575558):
Displaying 25 items.
- From the weak to the strong existence property (Q448335) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- Descriptions in mathematical logic (Q1071018) (← links)
- Brouwer's constructivism (Q1220903) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← 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)
- Solovay's relative consistency proof for FIM and BI (Q2075283) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- Unavoidable sequences in constructive analysis (Q3552398) (← links)
- (Q4135468) (← links)
- Über das Markov-Prinzip II (Q4159056) (← links)
- ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS (Q4600462) (← links)
- INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433) (← links)
- The Mathematical Work of S.C.Kleene (Q4837673) (← links)
- Primitive recursion in the abstract (Q5220181) (← links)
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539) (← links)
- (Q5652656) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
