@article{luna:cant10,
  author	=	{Laureano Luna and William Taylor},
  title	=	{Cantor's Proof in the Full Definable Universe},
  journal	=	{The Australasian Journal of Logic},
  year	=	2010,
  volume	=	9,
  pages	=	{10-25},
  URL	=	{http://www.philosophy.unimelb.edu.au/ajl/2010/},
}