This file can be used to add scheduled events to your calendar, however every program is unique. Below you will find what information is available, but if nothing else works try creating a new calendar in your program and using
http://math.colorado.edu/seminars/ics/allo.ics
as the source.
Thunderbird
The Algebra and Logic seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. If you have questions regarding this seminar, please contact Keith Kearnes or Peter Mayr.
Tue, Sep. 15 1:25pm (MATH 2…
Keith Kearnes & Peter Mayr (CU)
X
The foundations group will talk about its research.
I will discuss the classification of those finite algebras with the following property: there is no identity that is satisfied by with probability for any number satisfying 1/|A| < p < 1.
Finite algebras whose equational probability spectrum contains a big gap
In order to study a certain 3-dimensional analogue of the Mandelbrot set, I needed a notion of holomorphy for the corresponding 3-dimensional real algebra. While this motivation (to generalize the basic elements of complex dynamics) is analytic, the focus of this talk will be the connection between holomorphic functions over a real algebra and first-order properties of the algebra. It turns out that, under the assumption of a single (left or right) divisible element, the holomorphic functions over an arbitrary real algebra form a vector space. Properties such as the Product Rule and Chain Rule are equivalent to purely algebraic properties of the underlying real algebra. When our real algebra has a multiplicative identity element, the Product Rule is precisely equivalent to being both commutative and associative. I will present proofs of some of these statements, which are quite succinct once the proper groundwork has been done.