Non finite axiomatizability of finitely generated quasivarieties of graphs
Xavier Caicedo
PRE-PRINT
Inglês
Agradecimentos: Supported by FAPESP, Fundação de Amparo à Pesquisa do Estado de São Paulo
Abstract: Appart from four trivial cases, a universal Horn class of graphs generated by finitely many finite graphs can not be finitely axiomatizable
FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESP
Aberto
Caicedo, Xavier, 1944-
Autor
Non finite axiomatizability of finitely generated quasivarieties of graphs
Xavier Caicedo
Non finite axiomatizability of finitely generated quasivarieties of graphs
Xavier Caicedo
Fontes
|
Relatório de Pesquisa (Fonte avulsa) |