|
|||||
|
|
Fixed points of self-embeddings of models of arithmetic |
|
| Authors: | Saeideh Bahrami Ali Enayat |
| Institution: | 1. Dept. of Mathematics, Tarbiat Modares University, P.O. Box 14115-111, Tehran, Iran;2. Dept. of Philosophy, Linguistics, & Theory of Science, University of Gothenburg, Box 200, SE 405 30, Gothenburg, Sweden |
| Abstract: | |
| Keywords: | primary 03F30 03C62 03H15 secondary 03C15 Peano Arithmetic Nonstandard model Self-embedding Fixed point Strong cut |
| 本文献已被 ScienceDirect 等数据库收录！ | |