Minimal readability of intuitionistic arithmetic and elementary analysis
From MaRDI portal
Publication:4876321
Recommendations
- On intuitionistic elementary arithmetic
- Some elementary results in intuitionistic model theory
- Intuitionistic elementary arithmetic
- Publication:4944901
- Realizability and intuitionistic logic
- Absolute \(L\)-realizability and intuitionistic logic
- Arithmetical realizability and primitive recursive realizability
- Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
- Minimal elementary extensions of models of set theory and arithmetic
- scientific article; zbMATH DE number 4033722
Cites work
- scientific article; zbMATH DE number 3857078 (Why is no real title available?)
- scientific article; zbMATH DE number 3241254 (Why is no real title available?)
- A classification of the ordinal recursive functions
- Nested recursion
- Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
- Rapidly growing Ramsey functions
- Syntactic translations and provably recursive functions
Cited in
(18)- Interactive realizability and the elimination of Skolem functions in Peano arithmetic
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
- Elementary realizability
- General recursive realizability and basic logic
- Realizability interpretation of PA by iterated limiting PCA
- Strictly primitive recursive realizability, I
- On excluded minors for real-representability
- General recursive realizability and intuitionistic logic
- Some elementary results in intuitionistic model theory
- Realizability with a local operator of A. M. Pitts
- On Primitive Recursive Realizabilities
- Polynomially bounded recursive realizability
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions
- scientific article; zbMATH DE number 1420833 (Why is no real title available?)
- Functional interpretations of feasibly constructive arithmetic
- A Generalized Realizability and Intuitionistic Logic
- An extensional Kleene realizability semantics for the Minimalist Foundation
- Proof-theoretical analysis: Weak systems of functions and classes
This page was built for publication: Minimal readability of intuitionistic arithmetic and elementary analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876321)