Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
From MaRDI portal
Publication:3335777
DOI10.2307/2273672zbMath0545.03033OpenAlexW2088718714MaRDI QIDQ3335777
Publication date: 1983
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273672
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items
A WALK WITH GOODSTEIN, Die another day, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Ultrafilters and types on models of arithmetic
Cites Work