January 13, 2015
1:50PM - 2:50PM
Math Tower 154
Add to Calendar
2015-01-13 14:50:00
2015-01-13 15:50:00
Logic Seminar - Gennady Puninsky
Title: Decidability of the theory of all modules over a ringSpeaker: Gennady PuninskyAbstract: Let T be the theory of all modules over an effectively given (usually countable) associative ring R. The modern approach to prove decidability of T is through the topological space called the Ziegler spectrum of R. We will explain this approach and describe two main classes of rings that are of primary interest: 1) finite dimensional algebras where, according to Mike Prest's conjecture, T is decidable if R is tame; and 2) rings that are in a certain sense close to the ring of integers, for instance, the ring of algebraic integers or the algebra of entire (complex or real) functions.
Math Tower 154
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
Add to Calendar
2015-01-13 13:50:00
2015-01-13 14:50:00
Logic Seminar - Gennady Puninsky
Title: Decidability of the theory of all modules over a ringSpeaker: Gennady PuninskyAbstract: Let T be the theory of all modules over an effectively given (usually countable) associative ring R. The modern approach to prove decidability of T is through the topological space called the Ziegler spectrum of R. We will explain this approach and describe two main classes of rings that are of primary interest: 1) finite dimensional algebras where, according to Mike Prest's conjecture, T is decidable if R is tame; and 2) rings that are in a certain sense close to the ring of integers, for instance, the ring of algebraic integers or the algebra of entire (complex or real) functions.
Math Tower 154
Department of Mathematics
math@osu.edu
America/New_York
public
Title: Decidability of the theory of all modules over a ring
Speaker: Gennady Puninsky
Abstract: Let T be the theory of all modules over an effectively given (usually countable) associative ring R. The modern approach to prove decidability of T is through the topological space called the Ziegler spectrum of R. We will explain this approach and describe two main classes of rings that are of primary interest: 1) finite dimensional algebras where, according to Mike Prest's conjecture, T is decidable if R is tame; and 2) rings that are in a certain sense close to the ring of integers, for instance, the ring of algebraic integers or the algebra of entire (complex or real) functions.
