On a question of Abraham Robinson

DOI10.1007/s11856-016-1367-9zbMath1402.12002arXiv1309.7138OpenAlexW2263543928MaRDI QIDQ312327

Jochen Koenigsmann

Publication date: 15 September 2016

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.7138

Mathematics Subject Classification ID

Decidability and field theory (12L05) Algebraic field extensions (12F05) Decidability of theories and sets of sentences (03B25)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The embedding problem over a Hilbertian PAC-field
• Large normal extension of Hilbertian fields
• On Rumely's local-global principle
• On solvable extensions of algebraic number fields
• Groupes de Picard et problèmes de Skolem. II
• Field Arithmetic
• Undecidability in Function Fields of Positive Characteristic
• Der Hilbertsche Irreduzibilitätssatz.
• New Decidable Fields of Algebraic Numbers
• PSC Galois Extensions of Hilbertian Fields
• Metamathematical problems
• Defining transcendentals in function fields
• THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

This page was built for publication: On a question of Abraham Robinson