= Recursive presentation of a structure
= Computable presentation of a structure
{synonym}
A recursive presentation identifies the domain of a countable structure with a <computable set>, with its basic operations given by <total computable functions> and its basic relations decidable. In a fixed finite signature this makes evaluation of <atomic formulas> effective. A countable structure may have a <recursive presentation of a structure> only for some choices of presentation, or none at all.
Back to article page
