From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8185 Path: news.gmane.org!not-for-mail From: "Vasili I. Galchin" Newsgroups: gmane.science.mathematics.categories Subject: "classical" computability theory and the category of Sets Date: Wed, 2 Jul 2014 12:55:11 -0500 Message-ID: Reply-To: "Vasili I. Galchin" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1404455861 16444 80.91.229.3 (4 Jul 2014 06:37:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 4 Jul 2014 06:37:41 +0000 (UTC) To: Categories mailing list Original-X-From: majordomo@mlist.mta.ca Fri Jul 04 08:37:29 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X2x7e-0004ks-DX for gsmc-categories@m.gmane.org; Fri, 04 Jul 2014 08:37:26 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:46433) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1X2x6j-0000eZ-OO; Fri, 04 Jul 2014 03:36:29 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1X2x6l-00011m-4K for categories-list@mlist.mta.ca; Fri, 04 Jul 2014 03:36:31 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8185 Archived-At: Hello Cat Theory list, Please be gentle. In the past I studied computability theory. It seems to me that this theory is built on the category of Sets(elementary topos), i.e. this computability theory assumes using classical logic with LEM and boolean subobject classifier for concepts like semi-decidability, etc. Is there a notion of intuitionistic computability theory built on other topoi where LEM is absent from the accompanying higher logic and the topos' subobject classifier has a internal Heyting algebra(that is not boolean)?? Is this what realizibility delves into(I have yet to study realizibility concepts). Kind regards, Vasya [For admin and other information see: http://www.mta.ca/~cat-dist/ ]