Pages that link to "Item:Q1925188"
From MaRDI portal
The following pages link to The provability of certain sequents in additive arithmetic (Q1925188):
Displaying 7 items.
- The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic (Q1382697) (← links)
- The power of some forms of the induction axiom in the multiplicative arithmetic (Q1592020) (← links)
- (Q3318774) (← links)
- (Q3367334) (← links)
- (Q3551482) (← links)
- (Q3629777) (← links)
- Logical Theory of the Additive Monoid of Subsets of Natural Integers (Q4982989) (← links)