The theory of hereditarily bounded sets

Emil Jeřábek

We show that for any $k\in \omega$, the structure $(H_k,\in )$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theo…