2020/03/10 by Michał R. Przybyłek, Przybyłek, Michał R.
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2003.04803
openalex publication_date 2020/03/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.