A characterization of the strongly -representable many-one degrees

DOI10.1017/JSL.2021.76MaRDI QIDQ5052014zbMATH OpenOpenAlexFDO

Authors Josiah Jacobsen-Grocott

Publication date 18 November 2022

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/jsl.2021.76

zbMATH Keywords

linear ordersmany-one degrees\(\mu\)-representations

Mathematics Subject Classification ID

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

Recommendations

• η-representation of sets and degrees
• On a computable presentation of low linear orderings
• Strongly -representable degrees and limitwise monotonic functions
• Approximation representations for reals and their wtt‐degrees
• Limitwise monotonic functions, sets, and degrees on computable domains

Cites work

• η-representation of sets and degrees
• An uncountably categorical theory whose only computably presentable model is saturated
• Computable models of theories with few models
• Hierarchies of Boolean algebras
• Increasing η -representable degrees
• LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
• Limitwise monotonic functions, sets, and degrees on computable domains
• Limitwise monotonic sequences and degree spectra of structures
• Logic year 1979--80, The University of Connecticut, USA
• On initial segments of computable linear orders

Cited in

(3)

• η-representation of sets and degrees
• Limitwise monotonic functions, sets, and degrees on computable domains
• Strongly \(\eta \)-representable degrees and limitwise monotonic functions

This page was built for publication: A characterization of the strongly \(\eta\)-representable many-one degrees

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