The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
On Decidability Properties of Local Sentences
[article]
2007
arXiv
pre-print
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
arXiv:0712.0164v1
fatcat:dfprkdsjxbbknfdrhdu5frkouy