tag:blogger.com,1999:blog-12932458.post112752910360920005..comments2023-09-29T09:03:36.236-05:00Comments on Logicomp: Favorite Logic of September 2005: First-order logic (1)anthonywlinhttp://www.blogger.com/profile/07618509800342861247noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-12932458.post-1127566708205729592005-09-24T07:58:00.000-05:002005-09-24T07:58:00.000-05:00Richard, you are right ... corrections have been m...Richard, you are right ... corrections have been made.anthonywlinhttps://www.blogger.com/profile/07618509800342861247noreply@blogger.comtag:blogger.com,1999:blog-12932458.post-1127537231343516042005-09-23T23:47:00.000-05:002005-09-23T23:47:00.000-05:00…completeness theorem, which says that satisfiabil...<I>…completeness theorem, which says that satisfiability is r.e.</I><BR/><BR/>That should be "co-r.e.", i.e., validity is r.e.Richard Zachhttps://www.blogger.com/profile/10074252272606254341noreply@blogger.com