Reducing ω-model reflection to iterated syntactic reflection

DOI10.1142/s0219061322500015arXiv2103.12147OpenAlexW3201909771MaRDI QIDQ6038474

No author found.

Publication date: 2 May 2023

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

Full work available at URL: https://arxiv.org/abs/2103.12147

zbMATH Keywords

ordinal analysisreflection principlessecond-order arithmetic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC ⋮ Generalized fusible numbers and their ordinals ⋮ Corrigendum to Reducing ω-model reflection to iterated syntactic reflection

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Reverse mathematics and well-ordering principles: a pilot study
• Bar induction and \(\omega\) model reflection
• Proof-theoretic analysis by iterated reflection
• Saturated models of universal theories
• The Veblen functions for computability theorists
• Π12-logic, Part 1: Dilators
• Iterated reflection principles and the ω-rule
• The model-theoretic ordinal analysis of theories of predicative strength
• REFLECTION RANKS AND ORDINAL ANALYSIS
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Transfinite recursive progressions of axiomatic theories

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