DECIDABILITY PROBLEMS OF EXTENDED THEORIES
From MaRDI portal
Bibliographies for mathematics in general (00A15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85) Ordered sets (06A99) Boolean algebras (Boolean rings) (06E99) Decidability (number-theoretic aspects) (11U05) Metamathematical considerations in group theory (20A10) Abelian groups (20K99)
Cited in
(17)- Model-theoretic and algorithmic questions in group theory
- Invariant transformations of formulas
- 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
- Constructivizations of Boolean algebras
- Propositional epistemic logics with quantification over agents of knowledge
- To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way
- Implementation of proof schemes in the method of invariant transformations
- Specification methods and partial construction of theory by computer
- Use of computers in solving well-known algebra problems
- Locally finite properties of data structures and their computation
- Further generalizations of results on structures of continuous functions
- A modal loosely guarded fragment of second-order propositional modal logic
- Congruence-distributive varieties of algebras
This page was built for publication: DECIDABILITY PROBLEMS OF EXTENDED THEORIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3872430)
