Generic undecidability of existential theory of integer numbers ring

DOI10.17377/SEMI.2016.13.070zbMath1390.11131MaRDI QIDQ2402142

Alexander N. Rybalov

Publication date: 6 September 2017

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

generic complexityexistential theory of ring of integer numbers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35)

Related Items (1)

Generic amplification of recursively enumerable sets

This page was built for publication: Generic undecidability of existential theory of integer numbers ring