|
Inleiding tot de modellentheorie van eerste-orde-talen. |
|
De compactheidsstelling: een verzameling gesloten formules in een eerste-orde-taal is realiseerbaar (heeft een model)
dan en slechts dan als elk van zijn eindige deelverzamelingen realiseerbaar is.
De vraag: wanneer heeft een verzameling gesloten formules in een eerste-orde-taal (op isomorfie na) precies één model?
Quantoren-eliminatie: een methode die ons bij sommige structuren een axiomatisering oplevert en een algoritme
om voor elke gesloten formule te beslissen of hij geldt in de structuur of niet.
Tarski's stelling dat het het lichaam van de reële getallen eliminatie van quantoren toelaat.
De Löwenhem-Skolem-Tarski-stellingen: een theorie (een verzameling gesloten formules in een eerste-orde-taal) die
een oneindig model heeft heeft een model in elke oneindige machtigheid.
|
|
|
|
| Tentamen, schriftelijk of mondeling afhankelijk van het aantal deelnemers. |
|
|