Category:Decidability

This category contains results about Decidability.
Definitions specific to this category can be found in Definitions/Decidability.

A class $\CC$ of statements is decidable if and only if there exists an effective procedure for answering whether each statement in $\CC$ is true or false.