Recursive axiomatizations from separation properties
Reads0
Chats0
TLDR
This work uses model theoretic techniques and games to show that separation subclasses whose axiomatisations are recursively enumerable in the authors' second-order fragment can also be recursically axiomatised in their original first-order language.Abstract:
We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use model theoretic techniques and games to show that separation subclasses whose axiomatisations are recursively enumerable in our second-order fragment can also be recursively axiomatised in their original first-order language. We pin down the expressive power of this formalism with respect to first-order logic, and investigate some questions relating to decidability and computational complexity. As applications of these results, by showing that certain classes can be straightforwardly defined as separation subclasses, we obtain first-order axiomatisability results for these classes. In particular we apply this technique to graph colourings and a class of partial algebras arising from separation logic.read more
References
More filters
Journal ArticleDOI
The theory of representations for Boolean algebras
TL;DR: Boolean algebras are those mathematical systems first developed by George Boole in the treatment of logic by symbolic methods and since extensively investigated by other students of logic, including Schröder, Whitehead, Sheffer, Bernstein, and Huntington as mentioned in this paper.
Journal ArticleDOI
A colour problem for infinite graphs and a problem in the theory of relations
de Ng Dick Bruijn,Paul Erdös +1 more
TL;DR: In this paper, the Cartesian product of a family of compact sets is shown to be compact, based on TychonofI's theorem, which is a special case of R. RADO's theorem.