ADMISSIBLES ENSEMBLES

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

Dans le chapitre « Théorie des modèles et langages infinitaires »  : […] Les formules usuelles d'un langage du premier ordre sont des objets finis, avec une syntaxe ou grammaire récursive, et leur notion de validité est récursivement énumérable, ce dernier fait étant une conséquence du théorème de complétude. Pour tout ensemble admissible dénombrable A, nous allons définir une extension de L , notée L A , dont les formules seront des objets A-finis ayant une syntaxe A- […] Lire la suite