Notes on the Jump of a Structure

DOI10.1007/978-3-642-03073-4_38MaRDI QIDQ3576069zbMATH OpenOpenAlexFDO

Authors Antonio Montalbán

Publication date 28 July 2010

Published in Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03073-4_38

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cites work

• A construction for recursive linear orderings
• Computable Boolean algebras
• Computable structures and the hyperarithmetical hierarchy
• Cuts of linear orders
• Effective model theory vs. recursive model theory
• Enumerations in computable structure theory
• Every Low 2 Boolean Algebra has a Recursive Copy
• Every Low Boolean Algebra is Isomorphic to a Recursive One
• Generic copies of countable structures
• Intrinsic bounds on complexity and definability at limit levels
• On the $n$-back-and-forth types of Boolean algebras
• Orderings with αth Jump Degree 0 (α)

Cited in

(27)

• The coding theorems for linear orders
• Coding and definability in computable structures
• EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
• Computable presentability of countable linear orders
• Families of permutations and ideals of Turing degrees
• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• The structural complexity of models of arithmetic
• Ivan Soskov: a life in computability
• On the structure of Skipjack
• Boolean algebra approximations
• Computable linear orders and the Ershov hierarchy
• Permutation groups and ideals of Turing degrees
• Enumeration reducibility and computable structure theory
• Punctual 1-linear orders
• Degree spectra of relations on a cone
• Computable linear orders and the ershov hierarchy
• Computable functors and effective interpretability
• Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders
• CODING IN GRAPHS AND LINEAR ORDERINGS
• On the notion of jump structure
• Cuts of linear orders
• Low scattered linear orders
• Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
• On processes and structures
• On a computable presentation of low linear orderings
• Jump inversions of algebraic structures and Σ‐definability
• THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES

This page was built for publication: Notes on the Jump of a Structure

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