presented at event Association for Symbolic Logic North American Annual Meeting, Boise State University, Idaho Conference