Pages that link to "Item:Q1288136"
From MaRDI portal
The following pages link to A note on finiteness in the predicative foundations of arithmetic (Q1288136):
Displaying 7 items.
- Predicative foundations of arithmetic (Q1344849) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems (Q2037979) (← links)
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- (Q3581788) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- (Q5144695) (← links)