Flipping properties in arithmetic
From MaRDI portal
Publication:3949043
DOI10.2307/2273151zbMath0488.03031OpenAlexW2081155476MaRDI QIDQ3949043
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273151
Related Items
A WALK WITH GOODSTEIN, Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Ultrafilters and types on models of arithmetic
Cites Work