Consistency statements in formal theories

DOI10.4064/fm-72-1-17-40zbMath0254.02038OpenAlexW1608586249MaRDI QIDQ5668798

Robert G. Jeroslow

Publication date: 1971

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214360

Mathematics Subject Classification ID

Consistency and independence results (03E35) Categoricity and completeness of theories (03C35)

Related Items (3)

Interpretability suprema in Peano arithmetic ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC

This page was built for publication: Consistency statements in formal theories