Open sentences and the induction axiom

DOI10.2307/2964452zbMath0085.24505OpenAlexW2075697082WikidataQ114588029 ScholiaQ114588029MaRDI QIDQ3256311

J. R. Shoenfield

Publication date: 1958

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964452

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (7)

Diophantine equations in fragments in arithmetic ⋮ The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic ⋮ The provability of certain sequents in additive arithmetic ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ Unnamed Item ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving

Cites Work

• Unnamed Item

This page was built for publication: Open sentences and the induction axiom