Axiomatizability of reducts of algebras of relations

Submitted versio

Strongly representable atom structures of relation algebras

Accepted versio

Atom structures of cylindric algebras and relation algebras

Accepted versio

Polyadic Algebras

This chapter surveys the development in the theory of polyadic algebras in the last decades

Strongly representable atom structures of cylindric algebras

Published versio

Relation algebras from cylindric algebras, I

Accepted versio

Algebraic structuralism

This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea that the structure of the world is (somehow) given by the relations inhering in the world, in such a way that the relations are ontologically prior to their relata. The central claim is the following: one can do so by giving due attention to the relationships that hold between those relations, by making use of certain notions from algebraic logic

Algebraic structuralism

This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea that the structure of the world is (somehow) given by the relations inhering in the world, in such a way that the relations are ontologically prior to their relata. The central claim is the following: one can do so by giving due attention to the relationships that hold between those relations, by making use of certain notions from algebraic logic