Publication:3661691

zbMath0515.12019MaRDI QIDQ3661691

Christian U. Jensen

Publication date: 1983

zbMATH Keywords

fields of meromorphic functions; undecidable fields; elementary equivalence of fields; Pythagorean subfield of real number field; second order number theory

Mathematics Subject Classification ID

12L05: Decidability and field theory

03C60: Model-theoretic algebra

12D15: Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)

03B25: Decidability of theories and sets of sentences

30D30: Meromorphic functions of one complex variable (general theory)

03F35: Second- and higher-order arithmetic and fragments

Related Items

Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes