scientific article; zbMATH DE number 176198
From MaRDI portal
Publication:4035302
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
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)