scientific article; zbMATH DE number 4031660
From MaRDI portal
Publication:3772199
Recommendations
Cited in
(5)- Indécidabilité de corps de séries formelles
- Undecidability of the theory of finite nearfields
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
- Decidability of the elementary theory of universal semifields of the second kind
- Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3772199)