An Independence Result for Intuitionistic Bounded Arithmetic

DOI10.1093/LOGCOM/EXI085zbMATH Open1102.03056OpenAlexW2066488812MaRDI QIDQ5477454FDOQ5477454

Authors: Morteza Moniri 

Publication date: 3 July 2006

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi085

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

zbMATH Keywords

bounded arithmeticintuitionistic logicpolynomial hierarchyKripke modelNPpolynomial induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (12)

• An independence result on weak second order bounded arithmetic
• A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
• A note on the independence of premiss rule
• Model theory of bounded arithmetic with applications to independence results
• Preservation theorems for bounded formulas
• On intuitionistic elementary arithmetic
• Independence results for weak systems of intuitionistic arithmetic
• Arithmetical independence results using higher recursion theory
• From positive and intuitionistic bounded arithmetic to monotone proof complexity
• Intuitionistic open induction and least number principle and the Buss operator
• Title not available (Why is that?)
• A strong induction scheme that leads to polynomially computable realizations

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)