An Independence Result for Intuitionistic Bounded Arithmetic
From MaRDI portal
Publication:5477454
Recommendations
- scientific article; zbMATH DE number 176198
- Independence results for weak systems of intuitionistic arithmetic
- On the Hierarchy of Intuitionistic Bounded Arithmetic
- Model theory of bounded arithmetic with applications to independence results
- Provably total functions of intuitionistic bounded arithmetic
- An independence result on weak second order bounded arithmetic
- Lifting independence results in bounded arithmetic
- A Remark on Independence Results for Sharply Bounded Arithmetic
- scientific article; zbMATH DE number 2102736
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
Cited in
(12)- Arithmetical independence results using higher recursion theory
- On intuitionistic elementary arithmetic
- An independence result on weak second order bounded arithmetic
- A strong induction scheme that leads to polynomially computable realizations
- A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
- Preservation theorems for bounded formulas
- A note on the independence of premiss rule
- Model theory of bounded arithmetic with applications to independence results
- From positive and intuitionistic bounded arithmetic to monotone proof complexity
- Intuitionistic open induction and least number principle and the Buss operator
- scientific article; zbMATH DE number 176198 (Why is no real title available?)
- Independence results for weak systems of intuitionistic arithmetic
This page was built for publication: An Independence Result for Intuitionistic Bounded Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477454)
