On Decidability Properties of Local Sentences - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

On Decidability Properties of Local Sentences

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 834645

Résumé

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 two 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.
Fichier principal
Vignette du fichier
wollic04.pdf (200.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00117501 , version 1 (02-12-2006)

Identifiants

  • HAL Id : hal-00117501 , version 1

Citer

Olivier Finkel. On Decidability Properties of Local Sentences. 2005, pp.75-92. ⟨hal-00117501⟩
101 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More