The consistency of number theory via Herbrand's theorem

DOI10.2307/2271725zbMath0255.02027OpenAlexW2004227333MaRDI QIDQ5668445

T. M. Scanlon

Publication date: 1973

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

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) General logic (03B99) Proof theory and constructive mathematics (03F99)

Related Items (1)

The ω-consistency of number theory via Herbrand's theorem

This page was built for publication: The consistency of number theory via Herbrand's theorem