scientific article
From MaRDI portal
zbMath0648.03043MaRDI QIDQ3792686
No author found.
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano ArithmeticEhrenfeucht-Fraïssé gamesnonstandard modelZF\(\Sigma \) \({}^ 1_ 0\)-inductionstrong embedding property
Related Items
Fixed points of self-embeddings of models of arithmetic, On Wilkie and Paris’s notion of fullness, The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method, MARGINALIA ON A THEOREM OF WOODIN, Rank-initial embeddings of non-standard models of set theory, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
