Formalized recursive functionals and formalized realizability

DOI10.1090/MEMO/0089MaRDI QIDQ5575558zbMATH OpenOpenAlexFDO

Authors Stephen Cole Kleene

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

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(25)

• 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
• scientific article; zbMATH DE number 3563037 (Why is no real title available?)
• Über das Markov-Prinzip II
• From the weak to the strong existence property
• Some axioms for constructive analysis
• 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
• scientific article; zbMATH DE number 3382322 (Why is no real title available?)
• Analyzing realizability by Troelstra's methods
• Hardwiring truth in functional interpretations
• Choice and independence of premise rules in intuitionistic set theory

This page was built for publication: Formalized recursive functionals and formalized realizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5575558)