|
|
|
|
|
|
|
|
See by year | See by month | Jump to month | |
|
Gergő Gyenizse (University of Szeged): Digraph powers and congruence permutability |
|
|
|
Wednesday, 15. September 2021, 10:00 - 12:00
|
|
Abstract. I sketch a semantical proof that congruence permutability is prime in the lattice of interpretability types of varieties. This proof settles a 1984 conjecture of Garcia and Taylor. The main ingredient of the proof is an entirely combinatorial statement: given two digraphs G and H so that each contains a universal vertex, there is a non-empty graph X so that G^X and H^X are isomorphic. |
Location : Riesz Lecture Hall, 1st Floor, Bolyai Institute, Aradi Vértanúk tere 1., Szeged |
Back
JEvents v3.1.8 Stable
Copyright © 2006-2013