hasNegativeAnswerUnderAssumption
P202564
predicate
Indicates that, given a particular assumption or set of assumptions, the answer or outcome of a query or statement is evaluated as negative (i.e., does not hold).
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| hasNegativeAnswer | 1 |
Sample triples (3)
| Subject | Object |
|---|---|
| Naimark problem | diamond principle NERFINISHED ⓘ |
| Naimark problem | continuum hypothesis ⓘ |
| Naimark problem | there exists a C*-algebra all of whose irreducible representations are type I but which is not type I under certain set-theoretic assumptions via predicate surface "hasNegativeAnswer" ⓘ |