Seminar za matemati~cku logiku i osnove matematike
povijest
Vrijeme:ponedjeljak, 05. prosinca 2005., 17:15
Predava~c: Vedran ~Ca~ci~t
Naslov: Hanfov i Gaifmanov teorem (2)
Sa~zetak:
Definirat ~temo nekoliko ``metri~ckih'' pojmova vezanih uz
kona~cne strukture, te pomo~tu njih dokazati Hanfov teorem, kao i nekoliko
rezultata neizrazivosti koji iz toga slijede.