scientific article; zbMATH DE number 2047495
From MaRDI portal
Publication:4451652
zbMath1033.03029MaRDI QIDQ4451652
Publication date: 29 February 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (6)
Countably categorical theories ⋮ Descriptive properties on admissible sets ⋮ Positive numberings in admissible sets ⋮ A semilattice of numberings. II ⋮ Existence of saturated structures ⋮ A Computable Structure with Non-Standard Computability
This page was built for publication: