Pages that link to "Item:Q3966133"
From MaRDI portal
The following pages link to Iterated reflection principles and the <i>ω</i>-rule (Q3966133):
Displaying 8 items.
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion (Q662344) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- A note on iterated consistency and infinite proofs (Q1734260) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Majorizing provably recursive functions in fragments of PA (Q3720596) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)