Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTobyBartels
• CommentTimeOct 18th 2009

I wrote two-valued topos to help me tighten up Mike's latest edit to cocomplete well-pointed topos.

• CommentRowNumber2.
• CommentAuthorTobyBartels
• CommentTimeOct 18th 2009
• (edited Oct 18th 2009)

Should we clarify that a consistent logic is proof-theoretically two-valued if the only closed terms for propositions are true and false? Then even intuitionistic propositional logic (but not intuitionistic higher-order logic) is two-valued. And then a model is two-valued if the only propositions in it are true and false, so intuitionistic propositional logic has no complete two-valued models. (Of course, it has an incomplete two-valued model, the two-valued model of classical logic, and classical logic has many models that are not two-valued.) Then we can extend the internal/external distinction between boolean and two-valued that is clear for toposes. Is there anything standard in the literature about this?

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeOct 19th 2009

I don't know; I think you know more about proof theory and non-topos-theoretic intuitionistic logic than I do. But it seems like a reasonable thing to mention.

• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)