# Spring 2013 Seminars

**Time:** Tuesday, 23 April 2013, 4:10 PM

**Place: **SC 1312

**Speaker: **Alexander Wires

**Title:** A Disjunction for Varieties with a Weak Difference Term

**Abstract:** We provide a characterization for varieties with a weak difference term similar to the disjunction given for congruence meet-semidistributive varietes established by Ross Willard in “A finite basis theorem for residually finite, congruence meet-semidistributive varieties”(2000). As an application we give simplified proofs of two well-known results concerning the closure of digraphs under Taylor operations.

**Time: **Tuesday, 16 April 2013, 4:10 PM

**Place:** SC 1312

**Speaker: **Constantine Tsinakis

**Title:** The Finite Embeddability Property for Algebras of Logic II

**Abstract: ** This is a continuation of the previous talk on the finite embeddability property for algebras of logic. The discussion is based on a streamlined treatment of the theory of join-extensions for these algebras.

**Time: **Tuesday, 9 April 2013, 4:10 PM

**Place: **SC 1312

**Speaker:** Constantine Tsinakis

**Title:** The Finite Embeddability Property for Algebras of Logic

**Abstract:** The focus of this talk is the finite embeddability property for algebras of logic. The discussion is based on a streamlined treatment of the theory of join-extensions for these algebras.

**Time:** Tuesday, 2 April 2013, 4:10 PM

**Place:** SC 1312

**Speaker: **Ralph McKenzie

Title: Robust Maltsev conditions and Abelian algebras in varieties (II)

**Abstract:** Among others, I’ll be proving Keith Kearne’s result that Abelian algebras in a variety

having a Taylor term are quasi-affine (almost modules), and his characterization of the weakest

Maltsev condition for a variety that implies all Abelian algebras are affine (modules).

**Time:** Wednesday, 27 March 2013, 4:10 PM

**Place:** SC1210

**Speaker:** Keith Kearnes

**Title: **Growth Rate of Finite Algebras(Solvable)

**Abstract:**

**Time:** Tuesday, 26 March 2013, 4:10 PM

**Place: **SC 1312

**Speaker:** Russell Miller

**Title: **Independent sets in computable free groups and fields

**Abstract:** We consider maximal independent sets within various sorts of groups and fields freely generated by countably many generators. The simplest example is the free divisible abelian group, which is just an infinite-dimensional rational vector space. As one moves up to free abelian groups, free groups, and free fields; (i.e. purely transcendental field extensions), maximal independent sets and independent generating sets both become more complicated, from the point of view of computable model theory, but sometimes in unpredictable ways, and certain questions remain open. We present the topic partly for its own sake, but also with the intention of introducing the techniques of computable model theory and illustrating some of its possible uses for an audience to which it may be unfamiliar.

This is joint work with Charles McCoy.

**Time: **Tuesday, 19 March 2013, 11 AM

**Place:** SC 1431

**Speaker:** Williams Young

**Title:** An Investigation of Residuated Lattices with a Modal Operator

**Abstract:** Residuated lattices, which generalize Boolean algebras and lattice-ordered groups, have been useful in the study of algebraic logic, particularly as an algebraic semantics for substructural logics. By equipping a residuated lattice with a modal operator (either a nucleus or a conucleus) and then considering the image under this operator, a new class of residuated lattices results. For example, Heyting algebras arise as the conuclear images of Boolean algebras; commutative, cancellative residuated lattices as the conuclear images of Abelian lattice-ordered groups; and integral GMV-algebras as the nuclear images of negative cones of lattice-ordered groups.

In all three of the aforementioned cases, there is a categorical equivalence when you restrict to a certain subcategory of the class of residuated lattices with modal operators. Also, there is a strong connection between the subvariety lattice of the class of residuated lattices with modal operators and the corresponding class of their images under this operator. In particular, we show an even stronger connection in the case of negatively-pointed Abelian lattice-ordered groups (which can be seen as a residuated lattice with the nucleus that forms the interval from the designated negative element to the identity) and their images (which are MV-algebras). Namely, the subvariety lattice of negatively-pointed Abelian lattice-ordered groups (without the trivial variety) is isomorphic to the subvariety lattice of MV-algebras.

**Time:** Tuesday, 12 March 2013, 4:10 PM

**Place:** SC 1312

**Speaker: **Ralph McKenzie

**Title:** Robust Maltsev conditions and Abelian algebras in varieties, results old and new

**Abstract:** Among others, I’ll be proving Keith Kearne’s result that Abelian algebras in a variety

having a Taylor term are quasi-affine (almost modules), and his characterization of the weakest

Maltsev condition for a variety that implies all Abelian algebras are affine (modules).

**Time: **Tuesday, 26 February 2013, 4:10 PM

**Place: **SC 1312

**Speaker: **Michael Botur(Palacký University Olomouc)

**Title:** An elementary proof of the completeness of the Lukasiewicz axioms

**Abstract:** The main aim of talk is twofold. Firstly, to present an elementary method based on Farkas’ lemma for rationals on how to embed any finite partial subalgebra of a linearly ordered MV-algebra into $\mathbb Q\cap [0,1]$ and then to establish a new elementary proof of the completeness of the Lukasiewicz axioms. Secondly, to present a direct proof of Di Nola’s Representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers.

**Time:** Tuesday, 19 February 2013, 4:10 PM

**Place:** SC 1312

**Speaker:** Jan Kuhr(Palacký University Olomouc)

**Title:** Divisible Psuedo-BCK Algebras

**Abstract:** A porim is called divisible if it is naturally ordered, in the sense that a b i

a = x b = b y for some x; y. Divisible porims are also known as pseudo-hoops,

and divisible integral residuated lattices as integral GBL-algebras. We focus on

divisibility in the setting of pseudo-BCK-algebras (or biresiduation algebras) that

are the residuation subreducts of porims. We attempt to generalize some structural

results proved by Blok and Ferreirim for hoops, and by Jipsen and Montagna for

integral GBL-algebras.

Since a porim is divisible i it satises the identities (xny)n(xnz) (ynx)n(ynz)

and (z=x)=(y=x) (z=y)=(x=y), it seems natural to call pseudo-BCK-algebras sat-

isfying these two identities divisible. Further, by a normal pseudo-BCK-algebra we

mean a pseudo-BCK-algebra A = hA; n; =; 1i in which the 1-classes of the relative

congruences can be characterized as the subsets K A satisfying: (i) 1 2 K,

(ii) for all a; b 2 A, if a; anb 2 K, then b 2 K, and (iii) for all a; b 2 A, anb 2 K i

b=a 2 K.

The main result for normal divisible pseudo-BCK-algebras is the following: If A

is a non-trivial subdirectly irreducible normal divisible pseudo-BCK-algebra, then

A is the ordinal sum BC, where C is a non-trivial subdirectly irreducible linearly

ordered cone algebra in the sense of Bosbach.

We also generalize the concept of n-potent porims and prove that every n-potent

divisible pseudo-BCK-algebra is a BCK-algebra.

**Time: **Tuesday, 12 February 2013, 4:10 PM

**Place: **SC 1312

**Speaker: **Chris Conidis

**Title: **The Reverse Mathematics of Prime Ideals in Commutative Rings

**Abstract:** We will show that the reverse mathematical strength of the statement “every commutative ring with identity has a prime ideal” is equivalent to WKL (Weak K\”onig’s Lemma) over RCA (Recursive Comprehension Axiom).

**Time: **Tuesday, 5 February 2013, 4:10 PM

**Place:** SC 1312

**Speaker: **Rebecca Steiner

**Title:** Is It Harder to Factor a Polynomial or to Find a Root?, Part II

**Abstract:** For a computable algebraic field F, the splitting set S_F of F is the set of polynomials with coefficients in F which factor over F, and the root set R_F of F is the set of polynomials with coefficients in F which have a root in F. In the first part of this talk, on October 2, 2012, we showed that under the bounded Turing (bT) reducibility, determining whether a polynomial has a root in a field F is more difficult than determining whether it factors over F, i.e. S_F is always bT-reducible to R_F, but there are fields F where R_F is not bT-reducible to S_F. In the second part, we will define a Rabin embedding g of a field into its algebraic closure, and for a computable algebraic field F, we compare the relative complexities of R_F, S_F, and g(F) under m-reducibility and under bT-reducibility.

©2024 Vanderbilt University ·

Site Development: University Web Communications