Pages that link to "Item:Q2388431"
From MaRDI portal
The following pages link to Separations of first and second order theories in bounded arithmetic (Q2388431):
Displaying 9 items.
- Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
- Separations of theories in weak bounded arithmetic (Q1344280) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- An independence result on weak second order bounded arithmetic (Q2720322) (← links)
- (Q3140642) (← links)
- Second-Order Algebraic Theories (Q3586098) (← links)
- A second order version of <i>S</i><sub>2</sub><sup><i>i</i></sup> and <i>U</i><sub>2</sub><sup>1</sup> (Q3985100) (← links)
- Division in the Theory S02+ of Bounded Arithmetic. (Q4244822) (← links)
- Finitely inseparable first-order axiomatized mereotopological theories (Q4982517) (← links)