scientific article
From MaRDI portal
Publication:3464662
zbMath1329.03074MaRDI QIDQ3464662
Publication date: 27 January 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (8)
Interval extensions of orders and temporal approximation spaces ⋮ Inner constructivizability of functional structures ⋮ Generalized hyperarithmetical computability over structures ⋮ On functors enumerating structures ⋮ Rice sequences of relations ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY ⋮ Properties of \(s\Sigma\)-reducibility
This page was built for publication:
