ainda sobre generalizações de Birkhoff

[Joao Marcos]

2017-04-25 16:37 GMT+02:00 Walter Carnielli:
> Xavier Caicedo provou em ''The subdirect decomposition theorem for
> classes of structures closed under direct limits'' (J. Austral. Math.
> Soc. Series 4, 30 (1980), 171-179) uma generalização de um teorema de
> Birkhoff, mostrando que toda álgebra (numa classe K de álgebras
> definidas por meio de equações) é um produto subdireto de álgebras
> subdiretamente irredutíveis em K.

Por falar em generalizações de Birkhoff, ocorreu-me postar aqui uma
pergunta que fiz recentemente no StackExchange:
https://math.stackexchange.com/questions/2230920/examples-of-algebraic-structures-that-live-at-the-intersection-of-varieties-and

Se algum dos colegas tiver exemplos a contribuir, seria ótimo!

Abraços,
Joao Marcos

--
http://sequiturquodlibet.googlepages.com/

[Marcelo Finger]

Walter, JM e demais.

Sobre provas geradas automaticamente, em especial para o caso da
4-coloração, avento a possibilidade de que uma prova automaticamente
gerada (e verificada) possa term MAIS CASOS que a atualmente
conhecida.

Aliás, isso seria o esperado. Se é fácil gerar e verificar casos, é
provável que seja assim programado.

[]s

Marcelo

PS: Tem os provadores de código aberto gerados pelo meu grupo,
disponíveis para baixar:

a) Para satisfatibilidade probabilística: http://psat.sourceforge.net

b) Para quantificadores de contagem sobre predicados unários:
http://cqu.sourceforge.net

Desculpa o atraso.

> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjC3dg7ONgXwGjJf8YVdAEKrRwx9u0Mv8J5eNHKVsF8Vw%40mail.gmail.com.



--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger

[Walter Carnielli]

Obrigado, Marcelo!

Estamos levando em conta os provadores de código aberto gerados pelo seu grupo,

abraços,
Walter

> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1JXk_bqZsjd8ONfpu3hLBZtRc4YbWUL89tcH0Q_wMdwA%40mail.gmail.com.



--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli