Categorical Linearly Ordered Structures
dc.bibliographicCitation.seriesTitle | Oberwolfach Preprints (OWP) | eng |
dc.bibliographicCitation.volume | 8 | |
dc.contributor.author | Downey, Rod | |
dc.contributor.author | Melnikov, Alexander | |
dc.contributor.author | Ng, Keng Meng | |
dc.date.accessioned | 2024-10-16T15:05:26Z | |
dc.date.available | 2024-10-16T15:05:26Z | |
dc.date.issued | 2018 | |
dc.description.abstract | We prove that for every computable limit ordinal α there exists a computable linear ordering A which is Δ^(0)_(α)-categorical and α is smallest such, but nonetheless for every isomorphic computable copy B of A there exists a β<α such that A≅Δ0βB. This answers a question left open in the earlier work of Downey, Igusa, and Melnikov. We also show that such examples can be found among ordered abelian groups and real-closed fields. | |
dc.description.version | publishedVersion | |
dc.identifier.uri | https://oa.tib.eu/renate/handle/123456789/16897 | |
dc.identifier.uri | https://doi.org/10.34657/15919 | |
dc.language.iso | eng | |
dc.publisher | Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach | |
dc.relation.doi | https://doi.org/10.14760/OWP-2018-08 | |
dc.relation.issn | 1864-7596 | |
dc.rights.license | Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. | |
dc.rights.license | This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties. | |
dc.subject.ddc | 510 | |
dc.title | Categorical Linearly Ordered Structures | |
dc.type | Report | |
dc.type | Text |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- OWP2018_08.pdf
- Size:
- 374.33 KB
- Format:
- Adobe Portable Document Format
- Description: