Teorie abstraktního modelu - Abstract model theory
v matematická logika, teorie abstraktního modelu je zobecněním teorie modelů který studuje obecné vlastnosti rozšíření logika prvního řádu a jejich modely.[1]
Teorie abstraktního modelu poskytuje přístup, který nám umožňuje ustoupit a studovat širokou škálu logik a jejich vztahů.[2] Výchozím bodem pro studium abstraktních modelů, jehož výsledkem byly dobré příklady, bylo Lindströmova věta.[3]
V roce 1974 Jon Barwise poskytl axiomatizaci teorie abstraktních modelů.[4]
Viz také
Reference
- ^ Teorie modelu nezávislá na institucích autor: Răzvan Diaconescu 2008 ISBN 3-7643-8707-6 strana 3
- ^ Příručka matematické logiky Jon Barwise 1989 ISBN 0-444-86388-5 strana 45
- ^ Jean-Yves Béziau Logica universalis: k obecné teorii logiky 2005 ISBN 978-3-7643-7259-0 stránky 20–25
- ^ J. Barwise, 1974 "Axiomy pro teorii abstraktních modelů", Annals of Mathematical Logic 7: 221–265
Další čtení
- Jon Barwise; Solomon Feferman (1985). Modelově teoretická logika. Springer-Verlag. ISBN 978-0-387-90936-3.
Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |