Computer Science – Logic in Computer Science
Scientific paper
2007-12-02
Theoretical Computer Science 364 (2) (2006) 196-211
Computer Science
Logic in Computer Science
Scientific paper
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the finite and the infinite model theory of these sentences. We prove here several additional results on local sentences. The first one is a new decidability result in the case of local sentences whose function symbols are at most unary: one can decide, for every regular cardinal k whether a local sentence phi has a model of order type k. 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 omega_2 is not determined by the axiomatic system ZFC + GCH, where GCH is the generalized continuum hypothesis
No associations
LandOfFree
On Decidability Properties of Local Sentences does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On Decidability Properties of Local Sentences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Decidability Properties of Local Sentences will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-469458