Iterating reflection over intuitionistic arithmetic

DOI10.1017/S1755020326101117MaRDI QIDQ7256840zbMATH OpenFDO

Authors Emanuele Frittaion

Publication date 3 June 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020326101117

zbMATH Keywords

consistencyintuitionistic arithmeticlocal reflectionHeytinguniform reflectionDragalinFeferman's completeness theorem

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15) Intuitionistic mathematics (03F55)

Cites work

• scientific article; zbMATH DE number 3154788 (Why is no real title available?)
• scientific article; zbMATH DE number 3668596 (Why is no real title available?)
• scientific article; zbMATH DE number 3600027 (Why is no real title available?)
• scientific article; zbMATH DE number 3326471 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Constructivism in mathematics. An introduction. Volume II
• Ein System des Verknüpfenden Schliessens
• Feferman's completeness theorem
• Iterated reflection principles and the ω-rule
• Mathematical logic.
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Number theoretic concepts and recursive well-orderings
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
• Proof-theoretic analysis by iterated reflection
• Recursive progression of intuitionistic number theories
• Reflection ranks and ordinal analysis
• Some problems of completeness of arithmetic
• Systems of logic based on ordinals.
• Systems of predicative analysis
• Transfinite recursive progressions of axiomatic theories

This page was built for publication: Iterating reflection over intuitionistic arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7256840)