Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper
From MaRDI portal
Publication:4053640
DOI10.4064/FM-82-3-191-197zbMath0299.02056OpenAlexW1001174428MaRDI QIDQ4053640
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214662
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)
This page was built for publication: Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper