scientific article; zbMATH DE number 850763

zbMath0839.03040MaRDI QIDQ4867394

Fernando Ferreira

Publication date: 4 March 1996

Full work available at URL: https://eudml.org/doc/47411

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

conservative extensioncollection schemebounded theory of arithmetic

Mathematics Subject Classification ID

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

Related Items (3)

Two General Results on Intuitionistic Bounded Theories ⋮ Admissible closures of polynomial time computable arithmetic ⋮ Bounded theories for polyspace computability

This page was built for publication: