DECIDABILITY PROBLEMS OF EXTENDED THEORIES
DOI10.1070/RM1978v033n02ABEH002304zbMath0434.03014OpenAlexW2013700668MaRDI QIDQ3872430
A. I. Kokorin, Aleksandr Georgievich Pinus
Publication date: 1978
Published in: Russian Mathematical Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/rm1978v033n02abeh002304
Decidability (number-theoretic aspects) (11U05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Boolean algebras (Boolean rings) (06E99) Ordered sets (06A99) Second- and higher-order model theory (03C85) Bibliographies for mathematics in general (00A15) Abelian groups (20K99) Metamathematical considerations in group theory (20A10)
Related Items (17)
This page was built for publication: DECIDABILITY PROBLEMS OF EXTENDED THEORIES