06/08/05 Logic in Hungary, Budapest: Istvan Nemeti et al: Logical foundation for spacetime / Judit X Madarász: Effects of gravitation on clocks, axiomatic relativity / Gergely Szekely: Twin paradox, 1st order logic / Ramon Horvath: Alexandrov-Zeeman type theorem Add to clipboard MW0000756 · Item · 2005-08-06 Part of Michael Wright Collection Nemeti, Istvan
06/08/05 Logic in Hungary, Budapest: John Earman: Unsolved problems in spacetime structure / breaktime conversations Add to clipboard MW0000755 · Item · 2005-08-06 Part of Michael Wright Collection Earman, John
06/08/05 Logic in Hungary, Budapest: Liesbeth De Mol: Emil Post & undecidability (last part) / Angel Garrido: Logics for AI Add to clipboard MW0000754 · Item · 2005-08-06 Part of Michael Wright Collection De Mol, Liesbeth
08/08/05 Logic in Hungary, Budapest: Istvan Nemeti, Christian Wüthrich et al workshop discussion re. GR, spacetime structure, cosmology (contd.) Add to clipboard MW0000757 · Item · 2005-08-08 Part of Michael Wright Collection Nemeti, Istvan
08/08/05 Logic in Hungary, Budapest: Istvan Nemeti, Christian Wutrich et al workshop discussion re. GR, spacetime structure, cosmology Add to clipboard MW0000757 · Item · 2005-08-08 Part of Michael Wright Collection Nemeti, Istvan
09/08/05 Logic in Hungary, Budapest: lunchtime conversations C Wüthrich Add to clipboard MW0000758 · Item · 2005-08-09 Part of Michael Wright Collection Wüthrich, Christian
09/08/05 Logic in Hungary, Budapest: Michael Makkai: Foundations through categories old & new / conversation M Makkai re. Morita equivalence Add to clipboard MW0000759 · Item · 2005-08-09 Part of Michael Wright Collection Makkai, Michael
09/08/05 Logic in Hungary, Budapest: Victor Pambuccian: Alexandrov–Zeeman type theorems, definability, hyperbolic geometry Add to clipboard MW0000758 · Item · 2005-08-09 Part of Michael Wright Collection Pambuccian, Victor