Universal Algebra and Logic

Spring 2005 Seminars

Time: Thursday, March 24. (SC 1403, 2:00 p.m.)
Speaker: Nick Galatos
Title: Equivalence of logical consequence operations: an order theoretic perspective (continued).
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, March 22. (SC 1403, 2:00 p.m.)
Speaker: Eric Zenk
Title: Introduction to E-reflective subcategories.
Abstract: A quasivariety is a class of algebras closed under taking products embedded subalgebras and ultraproducts, or equivalently, a class of algebras defined by a set of quasiequations. The notion of a product-closed class makes sense in practically every category one examines. However, both the notion of quasi-equation and embedded substructure are more difficult to generalize. The talk will describe language for dealing with situations in which more than one notion of embedded subobject make sense. Given such a notion of embedding, an E-reflective subcategory is precisely a class closed under products and embeddings. (It seems there is no suitable generalization of quasi-equation.) Examples in topology and the context of partially ordered sets will be given.
Time: Thursday, March 17. (SC 1403, 2:00 p.m.)
Speaker: Nick Galatos
Title: Equivalence of logical consequence operations: an order theoretic perspective (continued).
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, March 15. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Abstract: Ralph McKenzie will continue a series of lectures on Complexity questions for finite algebras.
Time: Thursday, March 10. (SC 1403, 2:00 p.m.) No meetings. Spring Break.
Time: Tuesday, March 08. (SC 1403, 2:00 p.m.) No meetings. Spring Break.
Time: Thursday, March 03. (SC 1403, 2:00 p.m.)
Speaker: Nick Galatos
Title: Equivalence of logical consequence operations: an order theoretic perspective (continued).
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, March 01. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Abstract: Ralph McKenzie will continue a series of lectures on Complexity questions for finite algebras.
Time: Thursday, February 24. (SC 1403, 2:00 p.m.)
Speaker: Nick Galatos
Title: Equivalence of logical consequence operations: an order theoretic perspective, V.
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, February 22. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Time: Thursday, February 17. (SC 1403, 2:00 p.m.)
Speaker: Nick Galatos
Title: Equivalence of logical consequence operations: an order theoretic perspective, IV.
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, February 15. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Time: Thursday, February 10. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Time: Tuesday, February 8. (SC 1403, 2:00 p.m.)
Speaker: Constantine Tsinakis
Title: Equivalence of logical consequence operations: an order theoretic perspective, II.
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Thursday, February 3. (SC 1403, 2:00 p.m.)
Speaker: Constantine Tsinakis
Title: Equivalence of logical consequence operations: an order theoretic perspective, II.
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, February 1. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Time: Thursday, January 27. (SC 1403, 2:00 p.m.)
Speaker: Constantine Tsinakis
Title: Equivalence of logical consequence operations: an order theoretic perspective, I.
Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer.
Time: Tuesday, January 25. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.
Time: Tuesday, January 18. (SC 1403, 2:00 p.m.)
Speaker: Ralph McKenzie
Title: Complexity questions for finite algebras.

Back Home   

Contact Information

Department of Mathematics
Vanderbilt University
Stevenson Center 1326
Nashville, TN 37240
U.S.A.

Phone: (615) 322-6672
Fax: (615) 343-0215