[logic-ml] JAIST Logic Seminar Series
Hajime Ishihara
ishihara at jaist.ac.jp
Tue Jul 19 18:07:38 JST 2016
皆様
インスブリア大学のMarco Benini先生の講演のお知らせです。
どうぞふるってご参加ください。
問合せ先:
石原 哉
北陸先端科学技術大学院大学 情報科学系
e-mail: ishihara at jaist.ac.jp
-----------------------------------------------
* 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.
More information about the Logic-ml
mailing list