Publication:5670619

zbMath0256.02023MaRDI QIDQ5670619

I. L. Bondi

Publication date: 1973

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

54E45: Compact (locally compact) metric spaces

03D80: Applications of computability and recursion theory

Related Items

Some new results on decidability for elementary algebra and geometry