Formalized recursive functionals and formalized realizability
From MaRDI portal
Publication:5575558
DOI10.1090/memo/0089zbMath0184.02004MaRDI QIDQ5575558
Publication date: 1969
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0089
Related Items
ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS, INTUITIONISTIC ANALYSIS AT THE END OF TIME, The Mathematical Work of S.C.Kleene, Primitive recursion in the abstract, MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS, Unnamed Item, Analyzing realizability by Troelstra's methods, Hardwiring truth in functional interpretations, Choice and independence of premise rules in intuitionistic set theory, From the weak to the strong existence property, Some axioms for constructive analysis, Descriptions in mathematical logic, Brouwer's constructivism, Theory of proofs (arithmetic and analysis), Intuitionism and effective descriptive set theory, The creating subject, the Brouwer-Kripke schema, and infinite proofs, A classical view of the intuitionistic continuum, Realizing Brouwer's sequences, Solovay's relative consistency proof for FIM and BI, The FAN principle and weak König's lemma in Herbrandized second-order arithmetic, On the independence of premiss axiom and rule, Quantitative classical realizability, Unavoidable sequences in constructive analysis, Unnamed Item, Über das Markov-Prinzip II