Corrigendum to Reducing ω-model reflection to iterated syntactic reflection

DOI10.1142/S0219061323920010MaRDI QIDQ6132767

No author found.

Publication date: 14 July 2023

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

zbMATH Keywords

ordinal analysisreflection principlessecond-order arithmetic

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• Reducing ω-model reflection to iterated syntactic reflection
• Unnamed Item
• Unnamed Item

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