Injective envelopes of transition systems and Ferrers languages*

被引：3
作者：
Kabil, Mustapha [1 ]
Pouzet, Maurice [2 ,3 ]
机构：
[1] Univ Hassan II Casablanca, Lab Math & Applicat, Dept Math, Fac Sci & Tech, BP 146, Mohammadia, Morocco
[2] Univ Claude Bernard Lyon1, Univ Lyon, CNRS UMR 5208, Inst Camille Jordan, 43 Bd 11 Novembre 1918, F-69622 Villeurbanne, France
[3] Univ Calgary, Math & Stat Dept, Calgary, AB, Canada
来源：
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS | 2020年 / 54卷
关键词：
Metric spaces; injective envelopes; transition systems; Ferrers languages; ordered sets; interval orders; well-quasi-order; DIMENSION; EXTENSION; THEOREM;
D O I：
10.1051/ita/2020005
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider reflexive and involutive transition systems over an ordered alphabet A equipped with an involution. We give a description of the injective envelope of any two-element set in terms of Galois lattice, from which we derive a test of its finiteness. Our description leads to the notion of Ferrers language.
引用
收藏
页数：22
相关论文
共 48 条
[1]  
[Anonymous], ANN DISCRETE MATH
[2]  
[Anonymous], 1986, Combinatorics and ordered sets.
[3]  
Aronszajn N., 1956, Pacific Journal of Mathematics, V6, P405, DOI 10.2140/pjm.1956.6.405
[4]   CATEGORICAL CHARACTERIZATION OF MACNEILLE COMPLETION [J].
BANASCHEWSKI, B ;
BRUNS, G .
ARCHIV DER MATHEMATIK, 1967, 18 (04) :369-+
[5]  
Blumenthal L.M., 1970, STUDIES GEOMETRY, pxiv+512
[6]  
Blumenthal L.M., 1952, REND CIRC MAT PALERM, P343
[7]  
Blumenthal L.M., 1970, THEORY APPL DISTANCE, pxi+347
[8]   ON THE FERRERS DIMENSION OF A DIGRAPH [J].
COGIS, O .
DISCRETE MATHEMATICS, 1982, 38 (01) :47-52
[9]  
COROMINAS E, 1990, CR ACAD SCI I-MATH, V311, P199
[10]  
Davey B. A., 2002, INTRO LATTICES ORDER, P298
12345