scientific article; zbMATH DE number 2154082

zbMath1063.03019MaRDI QIDQ4664629

A. N. Khisamiev

Publication date: 8 April 2005

Full work available at URL: https://eudml.org/doc/51292

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

admissible setAbelian groupTuring reducibilitysigma-definabilityErshov algebrahereditarily finite superstructure

Mathematics Subject Classification ID

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)

Turing degrees of nonabelian groups ⋮ Rice sequences of relations ⋮ Universal functions and unbounded branching trees ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) ⋮ A Computable Structure with Non-Standard Computability ⋮ On universal functions in hereditarily finite superstructures

This page was built for publication: