Kripke, Saul A. ’Flexible’ predicates of formal number theory. (English) Zbl 0109.00901 Proc. Am. Math. Soc. 13, 647-650 (1962). Reviewer: A. Oberschelp Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 6 Documents MSC: 03-XX Mathematical logic and foundations Keywords:mathematical logic Citations:Zbl 0099.00604 × Cite Format Result Cite Review PDF Full Text: DOI