The topic is a variant of first-order logic defined in the framework of sets with atoms, which allows formulas to use orbit-finite boolean operations. The main contribution is a notion of model for this logic, which admits the compactness theorem. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Bojańczyk, M. (2013). Modelling infinite structures with atoms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8071 LNCS, pp. 13–28). Springer Verlag. https://doi.org/10.1007/978-3-642-39992-3_3
Mendeley helps you to discover research relevant for your work.