Formalized recursive functionals and formalized realizability
From MaRDI portal
Publication:5575558
DOI10.1090/MEMO/0089zbMATH Open0184.02004OpenAlexW1983523043MaRDI QIDQ5575558FDOQ5575558
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
Cited In (25)
- From the weak to the strong existence property
- Primitive recursion in the abstract
- Some axioms for constructive analysis
- Title not available (Why is that?)
- Theory of proofs (arithmetic and analysis)
- Title not available (Why is that?)
- The Mathematical Work of S.C.Kleene
- Intuitionistic analysis at the end of time
- Quantitative classical realizability
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Analyzing realizability by Troelstra's methods
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
- Über das Markov-Prinzip II
- Realizing Brouwer's sequences
- A classical view of the intuitionistic continuum
- Hardwiring truth in functional interpretations
- Solovay's relative consistency proof for FIM and BI
- Intuitionism and effective descriptive set theory
- Markov's principle and subsystems of intuitionistic analysis
- Brouwer's constructivism
- Unavoidable sequences in constructive analysis
- Descriptions in mathematical logic
- Choice and independence of premise rules in intuitionistic set theory
- On the independence of premiss axiom and rule
- On Weihrauch reducibility and intuitionistic reverse mathematics
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)
