Corrigendum to Reducing ω-model reflection to iterated syntactic reflection

DOI10.1142/S0219061323920010MaRDI QIDQ6132767FDOQ6132767

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

• Subsystems of second order arithmetic
• Title not available (Why is that?)
• Reducing ω-model reflection to iterated syntactic reflection

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)