UCLA Logic Colloquium, Oct 15
From: H. Enderton (hbe_at_sonia.math.ucla.edu)
Date: 10/08/04
- Next message: Barb Knox: "Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem"
- Previous message: Chris Menzel: "Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem"
- Messages sorted by: [ date ] [ thread ]
Date: Fri, 8 Oct 2004 22:14:08 +0000 (UTC)
UCLA LOGIC COLLOQUIUM
Friday, October 15, 2004
4:00 p.m.
Mathematical Sciences 6627
UCLA
PAUL C. EKLOF
(U.C., Irvine)
"On Set theory applied to Ext theory"
We survey some applications of set-theory to the study of the
homological functor Ext. This includes theorems of ZFC proved using
set-theoretic methods, as well as independence results. As time
permits, topics include such ancient ones as Whitehead groups as well
as more recent ones such as the Flat Cover Conjecture and tilting
theory.
_________________________________________________________________________
http://www.math.ucla.edu/~hbe/logic.html
- Next message: Barb Knox: "Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem"
- Previous message: Chris Menzel: "Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem"
- Messages sorted by: [ date ] [ thread ]