What is the right notion of sequentiality?

Abstract

In this paper we give an informally semi-rigorous explanation of the notion of sequentiality. We argue that the classical definition, due to Pudlak, is slightly too narrow. We propose a wider notion m-sequentiality as the notion that precisely captures the intuitions behind sequentiality. The paper provides all relevant separating examples minus one.