Rekursionstheorie, Theorie rekursiver Funktionen
==>
Berechenbarkeit
==>
Menge
==>
Abzählbarkeit
<==
Modelltheorie