Mostrar el registro sencillo del ítem
dc.contributor.author
Castaño, Valeria Marcela
dc.contributor.author
Muñoz Santis, Marcela Paola
dc.date.available
2024-08-13T11:29:11Z
dc.date.issued
2011-06
dc.identifier.citation
Castaño, Valeria Marcela; Muñoz Santis, Marcela Paola; De Morgan Heyting algebras satisfying the identity x n (′*) ≈ x ( n +1)(′*); Wiley VCH Verlag; Mathematical Logic Quarterly; 57; 3; 6-2011; 236-245
dc.identifier.issn
0942-5616
dc.identifier.uri
http://hdl.handle.net/11336/242351
dc.description.abstract
In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x^n (´∗) ≈ x^(n+1)(´∗) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH_1 by means of its space of prime filters, and we characterize subdirectly irreducible and simple algebras in SDH_1 . We extend these results for finite algebras in the general case SDH_n .
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Wiley VCH Verlag
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
DE MORGAN HEYTING ALGEBRA
dc.subject
TOPOLOGICAL DUALITY
dc.subject
PRIESTEY SPACE
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
De Morgan Heyting algebras satisfying the identity x n (′*) ≈ x ( n +1)(′*)
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2024-08-12T13:45:16Z
dc.journal.volume
57
dc.journal.number
3
dc.journal.pagination
236-245
dc.journal.pais
Alemania
dc.journal.ciudad
Weinheim
dc.description.fil
Fil: Castaño, Valeria Marcela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Confluencia; Argentina. Universidad Nacional del Comahue; Argentina
dc.description.fil
Fil: Muñoz Santis, Marcela Paola. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Confluencia; Argentina. Universidad Nacional del Comahue; Argentina
dc.journal.title
Mathematical Logic Quarterly
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://onlinelibrary.wiley.com/doi/10.1002/malq.200910122
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/malq.200910122
Archivos asociados