Find link

language:

Find link is a tool written by Edward Betts.

searching for Post's theorem 2 found (20 total)

Saul Kripke (6,542 words) [view diff] exact match in snippet view article find links to article

application of this notion is the decidability question: it follows from Post's theorem that a recursively axiomatized modal logic L which has FMP is decidable

Boolean algebras canonically defined (8,236 words) [view diff] exact match in snippet view article find links to article

set contained an operation lacking that property. (The converse of Post's theorem, extending "if" to "if and only if," is the easy observation that a