Αποστολή με SMS: Axiomatic domain theory in categories of partial maps