On quasiregular structures with computable signatures

zbMath1354.03045MaRDI QIDQ892015

A. I. Stukachev

Publication date: 18 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v11/p444-450.pdf

zbMATH Keywords

computabilitycomputable structuresadmissible setsHF-superstructures

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

Generalized hyperarithmetical computability over structures ⋮ Properties of \(s\Sigma\)-reducibility

This page was built for publication: On quasiregular structures with computable signatures