ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS

We prove a strengthened version of Shavrukov’s result on the non-isomorphism of diagonalizable algebras of two $\Sigma _1$ -sound theories, based on the improvements previously found by Adamsson. We then obtain several corollaries to the strengthened result by applying it to various pairs of theorie...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The review of symbolic logic 2024-03, Vol.17 (1), p.206-243
1. Verfasser:	KOLMAKOV, EVGENY A.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Boolean Homomorphisms Isomorphism
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!