On Decidability Properties of Local Sentences

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.