Note :
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 10 votes.
Model Theory for Beginners. 15 Lectures
Ce livre présente une introduction à la théorie des modèles en 15 cours.
Il se concentre sur plusieurs concepts clés : définissabilité du premier ordre, classification des types complets, extensions élémentaires, catégoricité, automorphismes et saturation, le tout illustré par des exemples qui ne nécessitent ni algèbre avancée ni théorie des ensembles. Une preuve complète du théorème de compacité pour les langages dénombrables et ses applications sont données, suivies d'une discussion de la technique d'Ehrefeucht-Mostowski pour construire des modèles admettant des automorphismes.
D'autres sujets incluent la saturation récursive, les modèles non standard de l'arithmétique, la preuve par la théorie des modèles d'Abraham Robinson du théorème de Tarski sur l'indéfinissabilité de la vérité, et la preuve du théorème de Ramsey infini en utilisant une extension élémentaire du modèle standard de l'arithmétique.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)