Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Samuel Coskey"'
Publikováno v:
Mathematical Logic Quarterly. 66:182-189
We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be. We then g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54e6587dbb7e4a5faf7c1a167f21baaa
https://doi.org/10.1002/malq.201900008
https://doi.org/10.1002/malq.201900008
Autor:
John D. Clemens, Samuel Coskey
We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group [Formula: see text] we introduce the [Formula: see text]-jump. We study the elementary properties of the [Formula: see text]-jumps and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01a0b6e9528dd55750663a0a5b18d224
http://arxiv.org/abs/2008.06613
http://arxiv.org/abs/2008.06613
Autor:
Samuel Coskey, Grigor Sargsyan
Publikováno v:
Contemporary Mathematics ISBN: 9781470443320
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2485b8417882a2514a16069ba443bfd
https://doi.org/10.1090/conm/752
https://doi.org/10.1090/conm/752
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 st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a930cf56d43976abcfdf5ef970e1456
http://arxiv.org/abs/2005.13777
http://arxiv.org/abs/2005.13777
Autor:
Scott Schneider, Samuel Coskey
Publikováno v:
Mathematical Logic Quarterly. 63:211-227
Boykin and Jackson recently introduced a property of countable Borel equivalence relations called Borel boundedness, which they showed is closely related to the union problem for hyperfinite equivalence relations. In this paper, we introduce a family
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9469ba0904825e221738da6e2d8e483e
https://doi.org/10.1002/malq.201400111
https://doi.org/10.1002/malq.201400111
Autor:
Samuel Coskey, Ben Blum-Smith
Publikováno v:
The College Mathematics Journal. 48:18-29
We describe the Fundamental Theorem on Symmetric Polynomials (FTSP), exposit a classical proof, and offer a novel proof that arose out of an informal course on group theory. The paper develops this proof in tandem with the pedagogical context that le
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::daab9a34debf199583dba164d66818e7
https://doi.org/10.4169/college.math.j.48.1.18
https://doi.org/10.4169/college.math.j.48.1.18
Autor:
Martino Lupini, Samuel Coskey
Publikováno v:
Mathematical Logic Quarterly. 62:580-589
We show that a version of L\'opez-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69cc985b8ff1fb6e35311d840e13df72
https://doi.org/10.1002/malq.201500004
https://doi.org/10.1002/malq.201500004
Autor:
Martino Lupini, Samuel Coskey
Publikováno v:
Fundamenta Mathematicae. :1-18
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32be235d1badd59dee1395ee43584561
https://doi.org/10.4064/fm135-1-2016
https://doi.org/10.4064/fm135-1-2016
Autor:
Samuel Coskey
Publikováno v:
The Bulletin of Symbolic Logic. 21:427-430
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f53ee8751572f9142172179e817548c
https://doi.org/10.1017/bsl.2015.33
https://doi.org/10.1017/bsl.2015.33
Autor:
Paul Ellis, Samuel Coskey
We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that the isomorph
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1205f32d3d8e74af99639b379982ec1a
http://arxiv.org/abs/1804.04609
http://arxiv.org/abs/1804.04609