New posts in Decidability

Decidability vs Completeness

Decidability of the membership problem for Baumslag Solitar group $BS(1,2)$

Gödel's completeness theorem and the undecidability of first-order logic

Is there a decision procedure for intuitionistic propositional logic?

The word problem for finite groups

Checking for finite fibers in hash functions

Decidability of a first-order theory of hyperreals

Reference request: Recent progress on the conjugacy problem for torsion-free one-relator groups?

How much of the Cantor-Schröder-Bernstein theorem is constructively recoverable if the injections have retractions and decidable images?

Two (probably) equal real numbers which are not proved to be equal?