scientific article; zbMATH DE number 2152681

MaRDI QIDQ4664249zbMATH OpenFDO

Authors Wolfgang Burr

Publication date 5 April 2005

zbMATH Keywords

normal form theoremarithmetical hierarchyintuitionistic arithmeticfragments of Heyting arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Prenex normal form theorems in semi-classical arithmetic
• On the Hierarchy of Intuitionistic Bounded Arithmetic
• Fragments of Heyting arithmetic
• Classical and constructive hierarchies in extended intuitionistic analysis
• Refining the arithmetical hierarchy of classical principles

Cited in

(14)

• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• A note on uniform density in weak arithmetical theories
• Refining the arithmetical hierarchy of classical principles
• A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS
• An intuitionistic formula hierarchy based on high‐school identities
• Prenex normal form theorems in semi-classical arithmetic
• The Arithmetical Hierarchy Over the Reals
• Revisiting the conservativity of fixpoints over intuitionistic arithmetic
• On the Mints hierarchy in first-order intuitionistic logic
• A parametrised functional interpretation of Heyting arithmetic
• scientific article; zbMATH DE number 5695342 (Why is no real title available?)
• HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
• Prenex normalization and the hierarchical classification of formulas
• scientific article; zbMATH DE number 5364051 (Why is no real title available?)

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 Q4664249)