Jeroslow, R. G. Consistency statements in formal theories. (English) Zbl 0254.02038 Fundam. Math. 72, 17-40 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 3 Documents MSC: 03C35 Categoricity and completeness of theories 03E35 Consistency and independence results × Cite Format Result Cite Review PDF Full Text: DOI EuDML