Undecidabiliity for the additive AIA fragment of the theory of normed spaces

R. D. Arthan

An AIA formula is one of the form 'A implies B' where A and B are purely universal. Up to a simple reduction AIA formula are both EA and AE. In an earlier paper Solovay, Harrison a…