2019. 05. 20. 10:15 - 2019. 05. 20. 11:15
MTA Rényi Intézet, nagyterem
-
-
-
Esemény típusa:
szeminárium
Szervezés:
Intézeti
-
Algebra szeminárium
Leírás
FOLDS a "First Order Logic with Dependent Sorts" kifejezes röviditese. Ennek első leirasa egy, csak a honlapomon talalhato, 1995-ben irt reszletes monografiaban talalhato. Egy nepszerubbnek szant ismertetes megtalalhato a "Towards a categorical foundation of mathematics" cimu publikacioban, amely szinten rajta van a honlapon. Az eloadasban szeretnek eljutni egy aranylag friss eredmenyig, Lindstrom-nek az elsorendu logikat globalis kriteriumokkal jelllemzo hires tetelenek egy a FOLDS-ra ervenyes kiterjesztesere.