Corrigendum to Reducing ω-model reflection to iterated syntactic reflection

DOI10.1142/S0219061323920010MaRDI QIDQ6132767zbMATH OpenFDO

Authors

Publication date 14 July 2023

Published in Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

ordinal analysissecond-order arithmeticreflection principles

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Cites work

• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• Reducing ω-model reflection to iterated syntactic reflection
• Subsystems of second order arithmetic

Cited in

(1)

• The Π21$\Pi ^1_2$ consequences of a theory

This page was built for publication: Corrigendum to Reducing ω-model reflection to iterated syntactic reflection

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