First-order concatenation theory with bounded quantifiers

Archive for Mathematical Logic（2020）

引用 6|浏览14

暂无评分

摘要

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

查看译文

关键词

Weak first-order theories, Concatenation theory, Bounded quantifiers, Decidability, 03B10, 03B25, 03D40, 68R15

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要