Abstrakcyjna teoria modeli
W logice matematycznej abstrakcyjna teoria modeli jest uogólnieniem teorii modeli , która bada ogólne właściwości rozszerzeń logiki pierwszego rzędu i ich modeli .
Abstrakcyjna teoria modeli zapewnia podejście, które pozwala nam cofnąć się i zbadać szeroki zakres logik i ich relacji. Punktem wyjścia do badania modeli abstrakcyjnych, które zaowocowało dobrymi przykładami, było twierdzenie Lindströma .
W 1974 roku Jon Barwise przedstawił aksjomatyzację abstrakcyjnej teorii modeli.
Zobacz też
Dalsza lektura
- Jona Barwise'a; Salomona Fefermana (1985). Logiki teorii modeli . Springer-Verlag. ISBN 978-0-387-90936-3 .
| Ogólny | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
Twierdzenia ( lista ) i paradoksy |
|||||||||
| Logika |
|
||||||||
| Teoria mnogości |
|
||||||||
|
Systemy formalne ( lista ), język i składnia |
|
||||||||
| Teoria dowodu | |||||||||
| Teoria modeli | |||||||||
| Teoria obliczalności | |||||||||
| Powiązany | |||||||||
