Four Problems Concerning Recursively Saturated Models of Arithmetic
1995 ◽
Vol 36
(4)
◽
pp. 519-530
◽
1981 ◽
Vol 22
(3)
◽
pp. 193-203
◽
2010 ◽
Vol 16
(3)
◽
pp. 345-358
◽
1982 ◽
Vol 23
(4)
◽
pp. 393-408
◽
1982 ◽
Vol 6
(2)
◽
pp. 305-318
◽
1991 ◽
Vol 55
(1)
◽
pp. 67-99
◽
1985 ◽
Vol 26
(2)
◽
pp. 99-105
◽
1980 ◽
Vol 80
(1)
◽
pp. 135-135
◽
1984 ◽
Vol 282
(2)
◽
pp. 539-539
◽