|
|||||
|
|
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets |
|
| Authors: | Kossak Roman |
| Institution: | City University of New York, New York, USA. E-mail: rkobb{at}cunyvm.cuny.edu |
| Abstract: | |
| Keywords: | nonstandard model of PA recursive saturation fixed point set |
| 本文献已被 Oxford 等数据库收录！ | |