scientific article; zbMATH DE number 804141
From MaRDI portal
Publication:4851407
Decidability of theories and sets of sentences (03B25) Axiom of choice and related propositions (03E25) Applications of set theory (03E75) Applications of logic to group theory (20A15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Solvable groups, supersolvable groups (20F16)
Recommendations
- On the undecidability of some classes of abelian-by-finite groups
- Undecidability of automorphism groups
- Undecidability of the identity problem for finite semigroups
- Unitriangular groups and undecidability
- scientific article; zbMATH DE number 3110205
- An undecidability theorem for lattices over group rings
- scientific article; zbMATH DE number 1748024
- Undecidable theories of valuated abelian groups
- Undecidability of the elementary theory of groups of measure-preserving transformations
- Undecidability of the centers of groups and group algebras.
Cited in
(12)- Uncomputability and undecidability in economic theory
- The incompleteness of theories of games
- Undecidability of the elementary theory of groups of measure-preserving transformations
- Unitriangular groups and undecidability
- UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS
- Undecidable theories of valuated abelian groups
- Undecidability of first order sentences in the theory of free groupoids
- Finite axiomatizability for equational theories of computable groupoids
- scientific article; zbMATH DE number 3928977 (Why is no real title available?)
- scientific article; zbMATH DE number 665291 (Why is no real title available?)
- Achievable sets in \(\mathbb Z^n\).
- Undecidability of automorphism groups
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 Q4851407)
