La théorie des modèles pour les débutants. 15 leçons

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 10 votes.

Titre original :

Model Theory for Beginners. 15 Lectures

Contenu du livre :

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.

Autres informations sur le livre :

• ISBN : 9781848903616
• Auteur : Roman Kossak
• Éditeur : Kings College Pubn
• Reliure : Broché
• Année de publication : 2021
• Nombre de pages : 152