Decidabillity in Ramsey Theory