Groups with orderings of arbitrary algorithmic complexity
From MaRDI portal
Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28) Theory of numerations, effectively presented structures (03D45) Ordered groups (06F15) Applications of logic to group theory (20A15) Residual properties and generalizations; residually finite groups (20E26) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Recommendations
Cited in
(9)- \(\Pi_{1}^{0}\) classes and orderable groups
- Algorithmically complex residually finite groups
- Detecting properties from descriptions of groups
- scientific article; zbMATH DE number 3877408 (Why is no real title available?)
- Left-orderable computable groups
- scientific article; zbMATH DE number 1885201 (Why is no real title available?)
- Bi-orders do not arise from total orders
- COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS
- Spaces of orders and their Turing degree spectra
This page was built for publication: Groups with orderings of arbitrary algorithmic complexity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137321)