Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper

DOI10.4064/FM-82-3-191-197zbMath0299.02056OpenAlexW1001174428MaRDI QIDQ4053640

Kurt Hauschild

Publication date: 1974

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214662

Mathematics Subject Classification ID

Decidability and field theory (12L05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries

This page was built for publication: Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper