Categorical Linearly Ordered Structures

dc.bibliographicCitation.seriesTitleOberwolfach Preprints (OWP)eng
dc.bibliographicCitation.volume8
dc.contributor.authorDowney, Rod
dc.contributor.authorMelnikov, Alexander
dc.contributor.authorNg, Keng Meng
dc.date.accessioned2024-10-16T15:05:26Z
dc.date.available2024-10-16T15:05:26Z
dc.date.issued2018
dc.description.abstractWe 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.versionpublishedVersion
dc.identifier.urihttps://oa.tib.eu/renate/handle/123456789/16897
dc.identifier.urihttps://doi.org/10.34657/15919
dc.language.isoeng
dc.publisherOberwolfach : Mathematisches Forschungsinstitut Oberwolfach
dc.relation.doihttps://doi.org/10.14760/OWP-2018-08
dc.relation.issn1864-7596
dc.rights.licenseDieses 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.licenseThis 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.ddc510
dc.titleCategorical Linearly Ordered Structures
dc.typeReport
dc.typeText
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
OWP2018_08.pdf
Size:
374.33 KB
Format:
Adobe Portable Document Format
Description: