scientific article; zbMATH DE number 2152681

zbMATH Open1061.03064MaRDI QIDQ4664249FDOQ4664249

Authors: Wolfgang Burr 

Publication date: 5 April 2005

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

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

zbMATH Keywords

normal form theoremarithmetical hierarchyintuitionistic arithmeticfragments of Heyting arithmetic

Mathematics Subject Classification ID

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

Cited In (14)

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

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)