Pages that link to "Item:Q5937804"
From MaRDI portal
The following pages link to Predicative logic and formal arithmetic (Q5937804):
Displaying 13 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order (Q1187538) (← links)
- The \textit{Tractatus} system of arithmetic (Q1297040) (← links)
- Predicative foundations of arithmetic (Q1344849) (← links)
- Structured propositions and the logical form of predication (Q2052203) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- (Q4342091) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- Arithmetic Formulated in a Logic of Meaning Containment (Q5019130) (← links)
- From arithmetic expressions to propositional formulae (Q5040699) (← links)
- Predicative Frege Arithmetic and 'Everyday' Mathematics (Q5245989) (← links)