logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Failure modes for structural highness notions†

delete2025-10-01
delete0
delete
OA
AI
W
Wesley Calvert *
F
Franklin, Johanna N. Y.
T
Turetsky, Dan
DOI：10.1093/logcom/exaf051delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
在Calvert, Franklin和Turetsky（2023, J. Symb. Log., 88, 1692-1724）中，我们定义了与可计算结构理论相关的几种高度类。每一类高度都由其能够计算的某种结构特征（例如同构）来刻画，前提是该特征存在。在本论文中，我们考察了这些类中的每一个，并基于当此类对象不存在时它们的行为对其进行刻画。我们特别描述了高度性的谨慎、健谈和协作三种含义。这些分别反映了从该高度进行的计算仅在所需特征存在时才给出输出、无论特征是否存在都给出某种输出的情况，以及该高度将计算该特征或可获得的最佳近似的情况。
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

J
Journal of Logic and Computation
IF:
0
论文数:
44
被引数:
0

机构

H
Hofstra University
学者数:
1.8K
论文数: 1.5K
被引数: 3.2K
S
Southern Illinois University
学者数:
2.9K
论文数: 2.4K
被引数: 1.4K
Southern Illinois University System 封面图
Southern Illinois University System
学者数:
6.0K
论文数: 5.1K
被引数: 55
学者 查看更多机构
引用论文

引用论文

Isomorphism relations on computable structures可计算结构上的同构关系
errThe Journal of Symbolic Logic
IF0
err2012-03-01
err0
PREAI
errFokina,Ekaterina B.; Friedman,Sy-David; Harizanov,Valentina; Knight,Julia F.; Mccoy,Charles; Montalbán,Antonio
err分享
err收藏
STRUCTURAL HIGHNESS NOTIONS结构高度概念
errThe Journal of Symbolic Logic
IF0
err2023-12-01
err0
PREAI
errCALVERT,WESLEY; FRANKLIN,JOHANNA N. Y.; TURETSKY,DAN
err分享
err收藏
Degree spectra and computable dimensions in algebraic structures度谱与可计算维数在代数结构中
errAnnals of Pure and Applied Logic
IF0
err2002-06-01
err0
PREAI
errHirschfeldt,Denis R.; Khoussainov,Bakhadyr; Shore,Richard A.; Slinko,Arkadii M.
err分享
err收藏
Review of universal semantic communication by B. JubaB. Juba 关于通用语义通信的综述
errACM SIGACT News
IF0
err2013-09-16
err0
PREAI
errCalvert,Wesley
err分享
err收藏
Degrees that Are Low for Isomorphism同构度低的度
errComputability
IF0
err2014-01-01
err0
PREAI
errFranklin,Johanna N.Y.; Solomon,Reed
err分享
err收藏
Computable trees of Scott rank ω1CK, and computable approximation可计算的Scott秩为w$_1$ ck的树，以及可计算近似
errJournal of Symbolic Logic
IF0
err2006-03-01
err0
PREAI
errCalvert,Wesley; Knight,Julia F.; Millar,Jessica
err分享
err收藏
COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY可计算函子与有效可解释性
errThe Journal of Symbolic Logic
IF0
err2017-03-01
err0
PREAI
errHARRISON-TRAINOR,MATTHEW; MELNIKOV,ALEXANDER; MILLER,RUSSELL; MONTALBÁN,ANTONIO
err分享
err收藏
The isomorphism problem for computable Abelian p-groups of bounded length可计算Abelian p-群的有界长度同构问题
errJournal of Symbolic Logic
IF0
err2005-03-01
err0
PREAI
errCalvert,Wesley
err分享
err收藏
Back and forth relations for reduced abelian p-groups素数p幂次降阿贝尔群的往返关系
errAnnals of Pure and Applied Logic
IF0
err1995-10-01
err0
PREAI
errBarker,Ewan J
err分享
err收藏
没有更多内容