Pages that link to "Item:Q1344849"
From MaRDI portal
The following pages link to Predicative foundations of arithmetic (Q1344849):
Displaying 17 items.
- The mereological foundation of megethology (Q288250) (← links)
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Arithmetical set theory (Q1181380) (← links)
- A note on finiteness in the predicative foundations of arithmetic (Q1288136) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- (Q4680361) (← links)
- Predicativity and Regions-Based Continua (Q5214785) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Predicative Frege Arithmetic and 'Everyday' Mathematics (Q5245989) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
- VARIETIES OF CLASS-THEORETIC POTENTIALISM (Q6131234) (← links)