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

DOI10.2307/2272853zbMath0317.02034OpenAlexW4235699204MaRDI QIDQ4077992

T. M. Scanlon, Warren D. Goldfarb

Publication date: 1975

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

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

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (1)

On Kalmar's consistency proof and a generalization of the notion of ω-consistency

Cites Work

• Unnamed Item
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• The consistency of number theory via Herbrand's theorem

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