decidabilities