On quasiregular structures with computable signatures

zbMATH Open1354.03045MaRDI QIDQ892015FDOQ892015

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

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

zbMATH Keywords

computabilitycomputable structuresadmissible setsHF-superstructures

Mathematics Subject Classification ID

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

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)