Submission date: 14 September 2017

Abstract:

We investigate the interpretability ordering ◁^* using generalized Ehrenfeucht-Mostowski models. This gives a new approach to proving inequalities and investigating the structure of types.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1709.04899: pdf, ps.