Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMar 1st 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexat _[[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](#ExternalDecidability): either $p$ or $\not p$ may be [[deduction|deduced]] in the [[metalanguage]]; > * [Internal decidability](#InternalDecidability): $p \vee \not p$ may be deduced, hence "$p$ or not $p$" holds in the [[object language]]. Okay?

   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?

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeMar 2nd 2014
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI tried to clarify a little.

   I tried to clarify a little.

3. • CommentRowNumber3.
   • CommentAuthornLab edit announcer
   • CommentTimeSep 7th 2024
   • PermaLink
   Author: nLab edit announcer
   Format: MarkdownItexAdded definitions of decidable propositions using exclusive disjunction Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/decidable+proposition/10">diff</a>, <a href="https://ncatlab.org/nlab/revision/decidable+proposition/10">v10</a>, <a href="https://ncatlab.org/nlab/show/decidable+proposition">current</a>

   Added definitions of decidable propositions using exclusive disjunction

   Anonymouse

   diff, v10, current