Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have created a separate entry for Jonsson-Tarski topos for which I’ve deconstructed Jonsson-Tarski algebra. Hope this is ok with the previous author. As I brood over JT right now, I’ll be collecting further information in the entry in the coming days. I have also created a separate entry for etendue but this is a bit of a mess for the time being and would necessitate to reflect the thread on etendu/e we had here in spring. for the moment, I can’t give much attention to ’etendue’ though. At one moment this should be harmonized with localic topos.
Tom Leinster discusses JT-toposes (plural). Maybe your text can reflect this?
It will! my symbol for the JT topos is already equipped with a counting index. Already at this low number a strange beast though! what particularly intrigues me, is the question whether there is a relation between the internal language and MSO.
1 to 3 of 3