Publication:6667155

DOI10.1007/S00209-024-03671-WMaRDI QIDQ6667155FDOQ6667155

Igor Klep, Marcus Tressl

Publication date: 20 January 2025

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

zbMATH Keywords

decidabilitymodel theorytracematrix ringsquantifier eliminationsimultaneous conjugacy problemfree analysis

Mathematics Subject Classification ID

Canonical forms, reductions, classification (15A21) Trace rings and invariant theory (associative rings and algebras) (16R30) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lie groups. An approach through invariants and representations
• How and Why to Solve the Operator Equation AX −XB = Y
• Introduction to noncommutative algebra.
• The invariant theory of \(n\times n\) matrices
• The implicit function theorem and free algebraic sets
• Foundations of Free Noncommutative Function Theory
• Model theory of operator algebras. II: Model theory
• Proper analytic free maps
• Free analysis questions II: The Grassmannian completion and the series expansions at the origin
• A complete set of unitary invariants for operators generating finite \(W^ *\)-algebras of type I
• Algebraic invariants for a set of matrices
• 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
• Elementary properties of linear groups and related problems.
• Unsolvability of the universal theory of finite groups
• Necessary and sufficient conditions for unitary similarity
• Simultaneous similarity of matrices
• A concise introduction to mathematical logic
• Rings which admit elimination of quantifiers
• Intersections of Real Closed Fields
• On the Model Theory of Finite-Dimensional Algebras
• Polynomial rings and weak second-order logic
• The Principal Axis Theorem Over Arbitrary Fields
• On projections of free semialgebraic sets
• Zur Theorie der Matrizen. II.
• Ranks of linear matrix pencils separate simultaneous similarity orbits
• On the strength of some topological lattices

This page was built for publication: A model theoretic perspective on matrix rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6667155)