Computable reducibility of equivalence relations and an effective jump operator

John D. Clemens; Samuel Coskey; Gianni Krakoff

doi:10.1017/jsl.2022.45

Computable reducibility of equivalence relations and an effective jump operator

John D. Clemens, Samuel Coskey, Gianni Krakoff

Mathematics Department

Boise State University

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

We introduce the computable FS-jump, an analog of the classical Friedman-Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers).

Original language	English
Pages (from-to)	540-561
Number of pages	22
Journal	Journal of Symbolic Logic
Volume	88
Issue number	2
DOIs	https://doi.org/10.1017/jsl.2022.45
State	Published - 13 Jun 2023

Keywords

ceers
computable reducibility
hyperarithmetic equivalence relations.

Access to Document

10.1017/jsl.2022.45

Cite this

@article{935c551472c34015bd77d9303b2348ee,

title = "Computable reducibility of equivalence relations and an effective jump operator",

abstract = "We introduce the computable FS-jump, an analog of the classical Friedman-Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers).",

keywords = "ceers, computable reducibility, hyperarithmetic equivalence relations.",

author = "Clemens, {John D.} and Samuel Coskey and Gianni Krakoff",

note = "Publisher Copyright: {\textcopyright} The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.",

year = "2023",

month = jun,

day = "13",

doi = "10.1017/jsl.2022.45",

language = "English",

volume = "88",

pages = "540--561",

number = "2",

}

TY - JOUR

T1 - Computable reducibility of equivalence relations and an effective jump operator

AU - Clemens, John D.

AU - Coskey, Samuel

AU - Krakoff, Gianni

N1 - Publisher Copyright: © The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.

PY - 2023/6/13

Y1 - 2023/6/13

N2 - We introduce the computable FS-jump, an analog of the classical Friedman-Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers).

AB - We introduce the computable FS-jump, an analog of the classical Friedman-Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers).

KW - ceers

KW - computable reducibility

KW - hyperarithmetic equivalence relations.

UR - http://www.scopus.com/inward/record.url?scp=85132729622&partnerID=8YFLogxK

U2 - 10.1017/jsl.2022.45

DO - 10.1017/jsl.2022.45

M3 - Article

AN - SCOPUS:85132729622

SN - 0022-4812

VL - 88

SP - 540

EP - 561

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

Computable reducibility of equivalence relations and an effective jump operator

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this