Pages that link to "Item:Q3724327"
From MaRDI portal
The following pages link to König's lemma, the ω-Rule and primitive recursive arithmetic (Q3724327):
Displaying 4 items.
- Further applications of ultra-conservative ω-rules (Q3318773) (← links)
- Finding paths through narrow and wide trees (Q3616357) (← links)
- (Q4534306) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)