Abstract
In this paper we study the idea of theories with containers, like sets, pairs,
sequences. We provide a modest framework to study such theories.
We prove two concrete results. First, we show that first order theories
of finite signature that have functional non-surjective ordered pairing are
definitionally equivalent to extensions in the same language
... read more