Publication:5183483

zbMath0275.02044MaRDI QIDQ5183483

I. L. Bondi

Publication date: 1973

Mathematics Subject Classification ID

46B99: Normed linear spaces and Banach spaces; Banach lattices

03B25: Decidability of theories and sets of sentences

46C99: Inner product spaces and their generalizations, Hilbert spaces

Related Items

Some new results on decidability for elementary algebra and geometry