Correction

Reducing ω-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

JOURNAL OF MATHEMATICAL LOGIC (2023)

卷 23, 期 3, 页码 -

DOI: 10.1142/S0219061323920010

Reflection principles; ordinal analysis; second-order arithmetic

Mathematics Logic

We have fixed a gap in a proof in our paper entitled Reducing omega-model reflection to iterated syntactic reflection.

We fix a gap in a proof in our paper Reducing omega-model reflection to iterated syntactic reflection.

点击您的名字以认领此论文并将其添加到您的个人资料中。