Seminar za matemati~cku logiku i osnove matematike
povijest

• Vrijeme: ponedjeljak, 28. studenog 2005., 17:15
• Predava~c: Vedran ~Ca~ci~t
• Naslov: Hanfov i Gaifmanov teorem (1)

Sa~zetak:

Promotrit ~temo neke primjere nedovoljne izra~zajnosti logike
prvog reda, te nekih iz nje izvedenih logik~a. Vidjet ~temo neke
elementarne metode dokazivanja neizrazivosti u logici prvog reda,
te se prisjetiti Ehrenfeucht-Fraisseovih igara kao malo naprednije
metode za istu svrhu.