A characterization of the strongly -representable many-one degrees
From MaRDI portal
Publication:5052014
DOI10.1017/JSL.2021.76OpenAlexW3202373729MaRDI QIDQ5052014FDOQ5052014
Authors: Josiah Jacobsen-Grocott
Publication date: 18 November 2022
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2021.76
Recommendations
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Computable models of theories with few models
- Limitwise monotonic sequences and degree spectra of structures
- LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
- On initial segments of computable linear orders
- An uncountably categorical theory whose only computably presentable model is saturated
- Hierarchies of Boolean algebras
- Increasing η -representable degrees
- Limitwise monotonic functions, sets, and degrees on computable domains
- η-representation of sets and degrees
- Logic year 1979--80, The University of Connecticut, USA
Cited In (3)
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)