%0 Journal Article %A Carnielli, Walter %A de Freitas, Renata %A Viana, Petrucio %D 2012 %I Jstor %J Bulletin of Symbolic Logic %N 1 %P 150-151 %T XVI Brazilian Logic Conference (EBL 2011) %V 18