Two General Results on Intuitionistic Bounded Theories

DOI10.1002/malq.19990450310zbMath0930.03084OpenAlexW1964185637MaRDI QIDQ4264539

Fernando Ferreira

Publication date: 22 September 1999

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450310

zbMATH Keywords

bounded arithmeticintuitionistic logicbounded theoriesbounded collectionbounding terms for provably total functions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• A Conservation Result Concerning Bounded Theories and the Collection Axiom
• Extracting Algorithms from Intuitionistic Proofs
• Fragments of Heyting arithmetic
• Existence and feasibility in arithmetic

This page was built for publication: Two General Results on Intuitionistic Bounded Theories