scientific article; zbMATH DE number 1160644

MaRDI QIDQ4392769zbMATH OpenFDO

Authors Hong Zhu, Xianjie Lu, Richard Denis

Publication date 18 March 1999

zbMATH Keywords

arithmetical structuresmultiplicationundecidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05)

Cited in

(10)

• Undecidable goals for completed acyclic programs
• Undecidability and intuitionistic incompleteness
• Some proofs of undecidability of arithmetic
• Undecidability in Some Structures Related to Computation Theory
• A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories
• scientific article; zbMATH DE number 3916265 (Why is no real title available?)
• Hereditary undecidability of some theories of finite structures
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
• UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES
• Undecidability of the structure of the Solovay degrees of c.e. reals

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 Q4392769)