Constructing a topos from a Heyting algebra

http://ift.tt/eA8V8J

Now suppose that we start with a Heyting algebra H H . Is it always possible to guarantee the existence of a topos CH C H such that Sub(1CH) S u b ...

from Algebra

Popular posts from this blog

Top 10 Education Websites