Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
From MaRDI portal
Publication:3335777
DOI10.2307/2273672zbMath0545.03033MaRDI 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
density; independence results; König's lemma; first-order Peano arithmetic; reflection scheme; 1-Consistency
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
Related Items
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, A WALK WITH GOODSTEIN, Ultrafilters and types on models of arithmetic, Die another day
Cites Work