On Fraisse's proof of compactness
Xavier Caicedo, A. M. Sette
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
On Fraisse's proof of compactness
Xavier Caicedo, A. M. Sette
On Fraisse's proof of compactness
Xavier Caicedo, A. M. Sette
Fontes
|
Relatório de Pesquisa (Fonte avulsa) |