皆様

インスブリア大学のMarco Benini先生の講演のお知らせです。 どうぞふるってご参加ください。

問合せ先： 石原　哉 北陸先端科学技術大学院大学 情報科学系 e-mail: [email protected] -----------------------------------------------

* JAIST Logic Seminar Series *

* The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/)

Date: Monday 8 August, 2016, 13:30-15:10

Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Marco Benini (University of Insubria)

Title: Variations on the Higman's Lemma Abstract: The Higman's Lemma says that if A is a well-quasi-order, so is the set of finite sequences over A with the order induced by embedding. By considering the structure of the categories of well-founded quasi-orders and well-quasi-orders, another proof of the Lemma will be derived, along with a number of variants, which may be of some interest.