|
|||||
|
|
Set theoretical analogues of the Barwise-Schlipf theorem |
|
| Institution: | University of Gothenburg, Gothenburg, Sweden |
| Abstract: | |
| Keywords: | Zermelo-Fraenkel set theory Gödel-Bernays class theory Recursive saturation Nonstandard models Infinitary language Forcing |
| 本文献已被 ScienceDirect 等数据库收录！ | |