Shizensū no chōjun moderu ni okeru 1-kai teigi kanōsei no kenkyū
By: [kenkyū daihyōsha Tsuboi Akito].
Contributors: Tsuboi, Akito.
Series: Sūri Kaiseki Kenkyūjo kōkyūroku -- 1469
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2006
Place of publication: [Kyoto]
Language: jpn
Number of pages: 100
Other titles: Study of definability in nonstandard models of arithmetic