Pages that link to "Item:Q2053347"
From MaRDI portal
The following pages link to Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347):
Displaying 5 items.
- On representations of intended structures in foundational theories (Q2121479) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- (Q3218118) (← links)
- Division in the Theory S02+ of Bounded Arithmetic. (Q4244822) (← links)
- The Division Relation: Congruence Conditions and Axiomatisability (Q5305990) (← links)