scientific article; zbMATH DE number 176198

zbMATH Open0764.03021MaRDI QIDQ4035302FDOQ4035302

Authors: Samuel R. Buss 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• Model theory of bounded arithmetic with applications to independence results
• An Independence Result for Intuitionistic Bounded Arithmetic
• scientific article; zbMATH DE number 999649
• On the Hierarchy of Intuitionistic Bounded Arithmetic
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• A model theoretic approach to proof theory of arithmetic
• Two General Results on Intuitionistic Bounded Theories
• Some elementary results in intuitionistic model theory
• On the structure of models of bounded $E\sb 1$-induction
• Model-theoretic characterization of intuitionistic predicate formulas

zbMATH Keywords

completenesssoundnessKripke structuresintuitionistic fragments of bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Cited In (12)

• Functional interpretations of feasibly constructive arithmetic
• Model theory of bounded arithmetic with applications to independence results
• Existentially Closed Models and Conservation Results in Bounded Arithmetic
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• Proof complexity of non-classical logics
• Intuitionistic validity in \(T\)-normal Kripke structures
• Preservation theorems for bounded formulas
• An Independence Result for Intuitionistic Bounded Arithmetic
• Polynomial induction and length minimization in intuitionistic bounded arithmetic
• On the structure of kripke models of heyting arithmetic
• New models of bounded induction axioms
• Some elementary results in intuitionistic model theory

This page was built for publication:

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