Permanent link to this document: http://projecteuclid.org/euclid.pl/1235421927
2013 © Association for Symbolic Logic