Seminar za matemati~cku logiku i osnove matematike
povijest
Vrijeme:ponedjeljak, 12. prosinca 2005., 17:15
Predava~c: Vedran ~Ca~ci~t
Naslov: Hanfov i Gaifmanov teorem (3)
Sa~zetak:
Generalizirat ~temo neke pojmove iz Hanfovog teorema, te
dokazati da formule logike prvog reda mogu ispitivati samo lokalna svojstva
kona~cnih struktur~a (Gaifmanov teorem).