当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Beyond sets with atoms: definability in first order logic
arXiv - CS - Logic in Computer Science Pub Date : 2020-03-10 , DOI: arxiv-2003.04803
Michał R. Przybyłek

Sets with atoms serve as an alternative to ZFC foundations for mathematics, where some infinite, though highly symmetric sets, behave in a finitistic way. Therefore, one can try to carry over analysis of the classical algorithms from finite structures to some infinite structures. Recent results show that this is indeed possible and leads to many practical applications. In this paper we shall take another route to finite analysis of infinite sets, which extends and sheds more light on sets with atoms. As an application of our theory we give a characterisation of languages recognized by automata definable in fragments of first-order logic.
更新日期:2020-03-24

 

全部期刊列表>>
宅家赢大奖
向世界展示您的会议墙报和演示文稿
全球疫情及响应:BMC Medicine专题征稿
新版X-MOL期刊搜索和高级搜索功能介绍
化学材料学全球高引用
ACS材料视界
x-mol收录
自然科研论文编辑服务
南方科技大学
南方科技大学
西湖大学
中国科学院长春应化所于聪-4-8
复旦大学
课题组网站
X-MOL
深圳大学二维材料实验室张晗
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug