×
Moschovakis, Joan Rand

Kleene’s realizability and ”divides” notions for formalized intuitionistic mathematics. (English) Zbl 0517.03025

The Kleene Symp., Proc., Madison/Wis. 1978, Stud. Logic Found. Math., Vol. 101, 167-179 (1980).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0517.03025

Cited in 1 Document

MSC:

03F55 Intuitionistic mathematics

Keywords:

formal systems; intuitionistic mathematics; metamathematical results; number-realizability; Heyting arithmetic; function-realizability; intuitionistic analysis

Citations:

Zbl 0436.00007
Cite Review PDF