* Hacking through topos theory ... internal language
@ 2003-04-29 19:28 Galchin Vasili
0 siblings, 0 replies; only message in thread
From: Galchin Vasili @ 2003-04-29 19:28 UTC (permalink / raw)
To: cat group
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2003-04-29 19:28 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-04-29 19:28 Hacking through topos theory ... internal language Galchin Vasili
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).