Permanent link to this document: http://projecteuclid.org/euclid.lnl/1235423997
2012 © Association for Symbolic Logic