Logic Seminar Abstracts


Title:  Groups of finite Morley rank.
Speaker:  Keith Kearnes
Affiliation:  CU
Time:  3pm, Monday, September 17
Location:  Math 220

Abstract:  
This will be a learning seminar based on the book Groups of Finite Morley Rank by Borovik and Nesin. This first talk is on Morley's 1965 paper.


Title: Groups of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, September 24
Location:  Math 220

Abstract:  
Definability and interpretability (Chapters 2 & 3).


Title:  MV-algebras and lattice-ordered groups.
Speaker:  Charles Holland
Affiliation:  CU
Time:  3pm, Monday, October 1
Location:  Math 220

Abstract:  
Boolean Algebras are the algebras of propositions for classical two-value logic where every proposition has truth value 0(="false") or 1(="true"). MV-algebras are the algebras of propositions for multi-valued logic where each proposition has a truth value in the real interval [0,1]. Lattice-ordered groups are the algebras arising from the notion of "quantity" or "size".

I will discuss the more than 100-year histories of MV-algebras and lattice-ordered groups, and the recent discoveries of the intimate connection between the two subjects.


Title: Groups of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, October 8
Location:  Math 220

Abstract:  
Universes (Chapter 4).


Title: Groups of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, October 15
Location:  Math 220

Abstract:  
Rank and degree (Chapter 4).


Title: Groups of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, October 22
Location:  Math 220

Abstract:  
Multiplicativity of degree. (Chapter 4)


Title: Groups of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, October 29
Location:  Math 220

Abstract:  
DCC on definable subgroups. Degree = index of connected component. (Chapter 5)


Title: Groups of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, November 5
Location:  Math 220

Abstract:  
Zilber's indecomposability theorem. (Chapter 5)


Title: Nilpotent groups of finite Morley rank.
Speaker:  Josh Wiscons
Affiliation:  CU
Time:  3pm, Monday, November 12
Location:  Math 220

Abstract:  
We prove Nesin's structure theorem for nilpotent groups of FMR.


Title: Nilpotent groups of finite Morley rank.
Speaker:  Wiscons
Affiliation:  CU
Time:  3pm, Monday, November 26
Location:  Math 220

Abstract:  
A continuation of the previous talk.


Title: Nilpotent groups of finite Morley rank.
Speaker:  Wiscons
Affiliation:  CU
Time:  3pm, Monday, November 26
Location:  Math 220

Abstract:  
A continuation of the previous talk.


Title: Nilpotent groups of finite Morley rank.
Speaker:  Wiscons
Affiliation:  CU
Time:  3pm, Monday, December 3
Location:  Math 220

Abstract:  
A continuation of the previous talk.


Title: Domains of finite Morley rank.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, December 10
Location:  Math 220

Abstract:  
We show that a (not necessarily commutative) ring with no zero divisors is an algebraically closed field.




| Logic Seminar Main Page | CU Math Home |