From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2264
Path: news.gmane.org!not-for-mail
From: Galchin Vasili <vngalchin@yahoo.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Hacking through topos theory ... internal language
Date: Tue, 29 Apr 2003 12:28:05 -0700 (PDT)
Message-ID: <E19DoBP-0003nP-00@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: ger.gmane.org 1241018535 3308 80.91.229.2 (29 Apr 2009 15:22:15 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:15 +0000 (UTC)
To: cat group <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Thu May  8 13:25:52 2003 -0300
X-Keywords: 
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 08 May 2003 13:25:52 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 19DoBP-0003nP-00
	for categories-list@mta.ca; Thu, 08 May 2003 13:23:47 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 14
Xref: news.gmane.org gmane.science.mathematics.categories:2264
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2264>


Hello,

   I have started reading the stuff on internal
language in McLarty's book and also in the
Lambek/Scott
book. I am trying to short circuit my learning a
little (in a vast and humbling subject!) What are the
models for topos logic? The class of Heyting algebras?

Regards, Bill