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

Discussion Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMar 1st 2014

at decidable proposition I found the simple basic idea a bit too deeply hidden in the text. In an attempt to improve on this I have added right before the subsections of the Idea-section this quick preview:

• External decidability: either $p$ or $\not p$ may be deduced in the metalanguage;

• Internal decidability: $p \vee \not p$ may be deduced, hence “$p$ or not $p$” holds in the object language.

Okay?

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeMar 2nd 2014

I tried to clarify a little.