scientific article; zbMATH DE number 1160644
From MaRDI portal
Publication:4392769
zbMATH Open0908.03015MaRDI QIDQ4392769
Xianjie Lu, Hong Zhu, Richard Denis
Publication date: 18 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)
Related Items (7)
Undecidability of the structure of the Solovay degrees of c.e. reals ⋮ Some proofs of undecidability of arithmetic ⋮ Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem ⋮ Unnamed Item ⋮ UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES ⋮ Undecidability in Some Structures Related to Computation Theory ⋮ A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories
This page was built for publication:
