scientific article; zbMATH DE number 2152681

zbMATH Open1061.03064MaRDI QIDQ4664249FDOQ4664249

Wolfgang Burr

Publication date: 5 April 2005

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

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 (11)

• 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
• A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS
• 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
• On the Mints Hierarchy in First-Order Intuitionistic Logic

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)