nLab decidable relation

Redirected from "generalized Spin(7)-structure".
Note: generalized Spin(7)-manifold and generalized Spin(7)-manifold both redirect for "generalized Spin(7)-structure".

Context

Relations

Constructivism, Realizability, Computability

Contents

Idea
Definition
Examples
See also

Idea

A relation in which either it or its negation is true.

Definition

A decidable binary relation $R$ on a set $S$ is a relation such that for all elements $a \in S$ and $b \in S$ , $R(a, b)$ or $\neg R(a, b)$ .

Examples

Every set with decidable equality has a decidable equality relation.
In the presence of excluded middle, every relation is a decidable relation.

See also

Last revised on January 18, 2024 at 15:07:39. See the history of this page for a list of all contributions to it.