ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232)
From MaRDI portal
scientific article; zbMATH DE number 7827534
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS |
scientific article; zbMATH DE number 7827534 |
Statements
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (English)
0 references
4 April 2024
0 references
provability predicate
0 references
diagonalizable algebra
0 references
provability algebra
0 references
Shavrukov's theorem
0 references
isomorphism
0 references
reflection principles
0 references
