A model theoretic perspective on matrix rings
From MaRDI portal
Publication:6667155
DOI10.1007/s00209-024-03671-wMaRDI QIDQ6667155
Publication date: 20 January 2025
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
tracequantifier eliminationdecidabilitymodel theorymatrix ringssimultaneous conjugacy problemfree analysis
Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22) Trace rings and invariant theory (associative rings and algebras) (16R30) Canonical forms, reductions, classification (15A21) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model theory of operator algebras. II: Model theory
- Proper analytic free maps
- Unsolvability of the universal theory of finite groups
- The invariant theory of \(n\times n\) matrices
- Elementary properties of linear groups and related problems.
- Algebraic invariants for a set of matrices
- Introduction to noncommutative algebra.
- A complete set of unitary invariants for operators generating finite \(W^ *\)-algebras of type I
- A history of infinite matrices: a study of denumerably infinite linear systems as the first step in the history of operators defined on function spaces
- Lie groups. An approach through invariants and representations
- Zur Theorie der Matrizen. II.
- Ranks of linear matrix pencils separate simultaneous similarity orbits
- The implicit function theorem and free algebraic sets
- Foundations of Free Noncommutative Function Theory
- Necessary and sufficient conditions for unitary similarity
- Free analysis questions II: The Grassmannian completion and the series expansions at the origin
- Polynomial rings and weak second-order logic
- On the Model Theory of Finite-Dimensional Algebras
- Rings which admit elimination of quantifiers
- Intersections of Real Closed Fields
- The Principal Axis Theorem Over Arbitrary Fields
- How and Why to Solve the Operator Equation AX −XB = Y
- On the strength of some topological lattices
- Simultaneous similarity of matrices
- A concise introduction to mathematical logic
- On projections of free semialgebraic sets
This page was built for publication: A model theoretic perspective on matrix rings