| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9655950 | Electronic Notes in Theoretical Computer Science | 2005 | 18 Pages |
Abstract
Secondly we show that this result can not be extended to the general case. Assuming the consistency of an inaccessible cardinal we prove that the set of local sentences having a model of order type Ï2 is not determined by the axiomatic system ZFC + GCH, where GCH is the generalized continuum hypothesis.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Olivier Finkel,