Pages that link to "Item:Q3256311"
From MaRDI portal
The following pages link to Open sentences and the induction axiom (Q3256311):
Displaying 7 items.
- Diophantine equations in fragments in arithmetic (Q1112811) (← links)
- The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic (Q1382697) (← links)
- The provability of certain sequents in additive arithmetic (Q1925188) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- (Q5140266) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
