Timeline for Equivalence of monadic axioms
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 18, 2011 at 17:09 | vote | accept | Levon | ||
| Mar 18, 2011 at 17:08 | comment | added | Levon | Thank you for the answer. Initially I was concerned with the decidability of whether two axioms imply the same theorems of a specific form. Then I came to the above question and its triviality slipped my attention. Sorry for a stupid question. | |
| Mar 18, 2011 at 16:41 | answer | added | David Harris | timeline score: 1 | |
| Mar 18, 2011 at 15:19 | comment | added | Emil Jeřábek | Two sentences $\phi$ and $\psi$ imply the same sets of theorems if and only if $\phi\leftrightarrow\psi$ is a tautology. Thus when the Entscheidungsproblem is decidable for a Boolean-closed class (such as the monadic case you mention), this equivalence is also decidable. | |
| Mar 18, 2011 at 15:12 | history | asked | Levon | CC BY-SA 2.5 |