Small Languages with Transfer

Given a finite set of formal languages (𝔏1, …, 𝔏n), one may be interested in analyzing the correspondences of short sentences in one language with coherent sheaves of words in another. In this paper, we work towards the goal of doing so by extending the set-theoretic notion of a “transitive inner model” to the more amenable setting of abstract algebra.