On quasiregular structures with computable signatures

MaRDI QIDQ892015zbMATH OpenFDO

Authors Alexey I. Stukachev

Publication date 18 November 2015

Published in Sibirskie Elektronnye 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)

Recommendations

• Properties of \(s\Sigma\)-reducibility
• Nonpresentability of some structures of analysis in hereditarily finite superstructures
• Computable model theory over the reals
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• scientific article; zbMATH DE number 2167511

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892015)