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

zbMATH Keywords

models of arithmeticextended theoriessecond order theoriessubsystems of algebraic systems

Mathematics Subject Classification ID

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)

Construction of decidable singular theories of two successor functions with an extra predicate ⋮ Critical theories ⋮ Algorithmic problems and hierarchies of first-order languages ⋮ Unsolvable algorithmic problems for semigroups, groups and rings ⋮ Twins problem in formal arithmetic ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Congruence-distributive varieties of algebras ⋮ Invariant transformations of formulas ⋮ Constructivizations of Boolean algebras ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Specification methods and partial construction of theory by computer ⋮ Implementation of proof schemes in the method of invariant transformations ⋮ Further Generalizations of Results on Structures of Continuous Functions ⋮ Use of computers in solving well-known algebra problems ⋮ To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Locally finite properties of data structures and their computation

This page was built for publication: DECIDABILITY PROBLEMS OF EXTENDED THEORIES