A jump inversion theorem for the semilattices of \(\Sigma\)-degrees

zbMath1299.03048MaRDI QIDQ2454541

A. I. Stukachev

Publication date: 13 June 2014

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

Full work available at URL: http://semr.math.nsc.ru/v6/p182-190.pdf

zbMATH Keywords

admissible setcomputabilitycomputable structure

Mathematics Subject Classification ID

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

Related Items (11)

Interval extensions of orders and temporal approximation spaces ⋮ Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ Generalized hyperarithmetical computability over structures ⋮ Processes and structures on approximation spaces ⋮ On Processes and Structures ⋮ Rice sequences of relations ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Enumeration Reducibility and Computable Structure Theory ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ Fixed points for the jump operator ⋮ Properties of \(s\Sigma\)-reducibility

This page was built for publication: A jump inversion theorem for the semilattices of \(\Sigma\)-degrees