ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS |
scientific article; zbMATH DE number 7827534
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
