|
|||||
|
|
Some Lowenheim-Skolem results for admissible sets |
|
| Authors: | Mark Nadel |
| Affiliation: | (1) The University of Winconsin, Winconsin, USA |
| Abstract: | For any admissible setA, there is anA-recursive set of sentences of ℒ A which has a model but noA-finite model.A countable admissible set has the Lowenheim-Skolem property iff it is recurisvely inaccessible and locally countable. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |