Pages that link to "Item:Q4292612"
From MaRDI portal
The following pages link to Hilbert's program and the omega-rule (Q4292612):
Displaying 7 items.
- On the concept of finitism (Q510710) (← links)
- TWO (OR THREE) NOTIONS OF FINITISM (Q3550708) (← links)
- (Q3686708) (← links)
- Extensions of the Finitist Point of View (Q4706119) (← links)
- Hilbert’s Programme and Ordinal Analysis (Q5221861) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)
- An open formalism against incompleteness (Q5937853) (← links)