Publication:3661691
From MaRDI portal
zbMath0515.12019MaRDI QIDQ3661691
Publication date: 1983
fields of meromorphic functionsundecidable fieldselementary equivalence of fieldsPythagorean subfield of real number fieldsecond order number theory
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Decidability of theories and sets of sentences (03B25) Meromorphic functions of one complex variable (general theory) (30D30) Second- and higher-order arithmetic and fragments (03F35)
Related Items