Contrary to the finitary case, the set Γ(A) of all the non-generators of an infinitary algebra A is not necessarily a subalgebra of A. We show that the phenomenon is ubiquitous: every algebra with at least one infinitary operation can be embedded into some algebra B such that Γ(B) is not a subalgebra of B. As far as expansions are concerned, there are examples of infinite algebras A such that in every expansion B of A the set Γ(B) is a subalgebra of B. However, under relatively weak assumptions on A, it is possible to get some expansion B of A such that Γ(B) fails to be a subalgebra of B.
Lipparini, P. (2022). Non-generators in extensions of infinitary algebras. REPORTS ON MATHEMATICAL LOGIC, 57, 31-43 [10.4467/20842589RM.22.002.16659].
Non-generators in extensions of infinitary algebras
Lipparini, P
2022-01-01
Abstract
Contrary to the finitary case, the set Γ(A) of all the non-generators of an infinitary algebra A is not necessarily a subalgebra of A. We show that the phenomenon is ubiquitous: every algebra with at least one infinitary operation can be embedded into some algebra B such that Γ(B) is not a subalgebra of B. As far as expansions are concerned, there are examples of infinite algebras A such that in every expansion B of A the set Γ(B) is a subalgebra of B. However, under relatively weak assumptions on A, it is possible to get some expansion B of A such that Γ(B) fails to be a subalgebra of B.File | Dimensione | Formato | |
---|---|---|---|
ngaIRIS.pdf
accesso aperto
Descrizione: Versione preliminare (agosto 2021)
Tipologia:
Documento in Pre-print
Licenza:
Non specificato
Dimensione
270.16 kB
Formato
Adobe PDF
|
270.16 kB | Adobe PDF | Visualizza/Apri |
ngaIRIS2.pdf
accesso aperto
Descrizione: Versione riveduta (maggio 2022). Contiene un'appendice non presente nella versione su rivista.
Tipologia:
Documento in Pre-print
Licenza:
Non specificato
Dimensione
289.44 kB
Formato
Adobe PDF
|
289.44 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.