Pages that link to "Item:Q2856500"
From MaRDI portal
The following pages link to Gödel's functional interpretation and its use in current mathematics (Q2856500):
Displaying 3 items.
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)