Model theory of bounded arithmetic with applications to independence results

MaRDI QIDQ5393641zbMATH OpenFDO

Authors Morteza Moniri

Publication date 23 October 2006

zbMATH Keywords

intuitionistic logicpolynomial hierarchyKripke modelNPcoNPpolynomial inductionmodels for theories of bounded arithmetic

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Recommendations

• An Independence Result for Intuitionistic Bounded Arithmetic
• scientific article; zbMATH DE number 176198
• scientific article; zbMATH DE number 999649
• A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
• On intuitionistic elementary arithmetic

Cited in

(17)

• Model-complete theories of bounded unars
• Existentially Closed Models and Conservation Results in Bounded Arithmetic
• Structure and definability in general bounded arithmetic theories
• Regular cuts in models of bounded arithmetic
• Separations of theories in weak bounded arithmetic
• Structures interpretable in models of bounded arithmetic
• An Independence Result for Intuitionistic Bounded Arithmetic
• On freedom and independence in hypergraphs of models of theories
• Independence results for variants of sharply bounded induction
• On Models Constructed by Means of the Arithmetized Completeness Theorem
• Bounded finite set theory
• Construction of models of bounded arithmetic by restricted reduced powers
• New models of bounded induction axioms
• scientific article; zbMATH DE number 432703 (Why is no real title available?)
• scientific article; zbMATH DE number 176198 (Why is no real title available?)
• Models of Bounded Arithmetic Theories and Some Related Complexity Questions
• A Remark on Independence Results for Sharply Bounded Arithmetic

This page was built for publication: Model theory of bounded arithmetic with applications to independence results

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