Congruence-semimodular and congruence-distributive pseudocomplemented semilattices

Detalhes bibliográficos
Autor(a) principal: Sankappanavar, H. P.
Data de Publicação: 1982
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFBA
Texto Completo: http://www.repositorio.ufba.br/ri/handle/ri/8629
Resumo: Texto completo. Acesso restrito. p. 68 - 81
id UFBA-2_44aa2db7da51218947828c4e52718697
oai_identifier_str oai:repositorio.ufba.br:ri/8629
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str 1932
spelling Sankappanavar, H. P.Sankappanavar, H. P.2013-02-21T18:34:24Z2013-02-21T18:34:24Z19820002-5240http://www.repositorio.ufba.br/ri/handle/ri/8629v. 14, n. 1Texto completo. Acesso restrito. p. 68 - 81Investigations into the structure of the congruence lattices of pseudocomplemented semilattices (PCS's) were initiated in [10]. In this paper a we characterize the class of congruence-semimodular PCS's (i.e. PCS's with semimodular lattice of congruences) and the class of congruence-distributive PCS's (i.e. with distributive congruence lattices). We give two characterizations of each class; one of these is a Dedekind-Birkhoff-type characterization which says that the exclusion in a certain sense of a single PCS P6 determines the class of congruence-semimodular PCS's, and the exclusion of the two PCS's P6 and P5 (these are defined in the sequel) determines the class of congruence-distributive PCS's. The other characterization shows that each of these classes is strictly elementary and gives explicitly the defining axiom for each class as a universal positive sentence (in the language of PCS's). This paper is a continuation of [10] and borrows the notation and the results from it. For other information see the standard references [6] and [7].Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-02-21T18:34:24Z No. of bitstreams: 1 999999asd.pdf: 533264 bytes, checksum: e7ccf3991ddf559ab37a96a996e392a5 (MD5)Made available in DSpace on 2013-02-21T18:34:24Z (GMT). No. of bitstreams: 1 999999asd.pdf: 533264 bytes, checksum: e7ccf3991ddf559ab37a96a996e392a5 (MD5) Previous issue date: 1982Algebra Universalis10.1007/BF02483909reponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBACongruence-semimodular and congruence-distributive pseudocomplemented semilatticesAlgebra Universalisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleenginfo:eu-repo/semantics/openAccessORIGINAL999999asd.pdf999999asd.pdfapplication/pdf533264https://repositorio.ufba.br/bitstream/ri/8629/1/999999asd.pdfe7ccf3991ddf559ab37a96a996e392a5MD51LICENSElicense.txtlicense.txttext/plain1762https://repositorio.ufba.br/bitstream/ri/8629/2/license.txt1b89a9a0548218172d7c829f87a0eab9MD52TEXT999999asd.pdf.txt999999asd.pdf.txtExtracted texttext/plain14https://repositorio.ufba.br/bitstream/ri/8629/3/999999asd.pdf.txt06b7e51e8fc077b8c75076712e4dd2b3MD53ri/86292022-07-05 14:03:00.948oai:repositorio.ufba.br:ri/8629VGVybW8gZGUgTGljZW7vv71hLCBu77+9byBleGNsdXNpdm8sIHBhcmEgbyBkZXDvv71zaXRvIG5vIHJlcG9zaXTvv71yaW8gSW5zdGl0dWNpb25hbCBkYSBVRkJBCgogICAgUGVsbyBwcm9jZXNzbyBkZSBzdWJtaXNz77+9byBkZSBkb2N1bWVudG9zLCBvIGF1dG9yIG91IHNldQpyZXByZXNlbnRhbnRlIGxlZ2FsLCBhbyBhY2VpdGFyIGVzc2UgdGVybW8gZGUgbGljZW7vv71hLCBjb25jZWRlIGFvClJlcG9zaXTvv71yaW8gSW5zdGl0dWNpb25hbCBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkYSBCYWhpYSBvIGRpcmVpdG8KZGUgbWFudGVyIHVtYSBj77+9cGlhIGVtIHNldSByZXBvc2l077+9cmlvIGNvbSBhIGZpbmFsaWRhZGUsIHByaW1laXJhLCAKZGUgcHJlc2VydmHvv73vv71vLiBFc3NlcyB0ZXJtb3MsIG7vv71vIGV4Y2x1c2l2b3MsIG1hbnTvv71tIG9zIGRpcmVpdG9zIGRlIAphdXRvci9jb3B5cmlnaHQsIG1hcyBlbnRlbmRlIG8gZG9jdW1lbnRvIGNvbW8gcGFydGUgZG8gYWNlcnZvIGludGVsZWN0dWFsIGRlc3NhIFVuaXZlcnNpZGFkZS4gCgogICAgUGFyYSBvcyBkb2N1bWVudG9zIHB1YmxpY2Fkb3MgY29tIHJlcGFzc2UgZGUgZGlyZWl0b3MgZGUgZGlzdHJpYnVp77+977+9bywgZXNzZSB0ZXJtbyBkZSBsaWNlbu+/vWEgZW50ZW5kZSBxdWU6IAoKICAgIE1hbnRlbmRvIG9zICBkaXJlaXRvcyBhdXRvcmFpcywgcmVwYXNzYWRvcyBhIHRlcmNlaXJvcywgZW0gY2FzbyAKZGUgcHVibGljYe+/ve+/vWVzLCBvIHJlcG9zaXTvv71yaW8gcG9kZSByZXN0cmluZ2lyIG8gYWNlc3NvIGFvIHRleHRvIAppbnRlZ3JhbCwgbWFzIGxpYmVyYSBhcyBpbmZvcm1h77+977+9ZXMgc29icmUgbyBkb2N1bWVudG8gKE1ldGFkYWRvcyBkZXNjcml0aXZvcykuCgogRGVzdGEgZm9ybWEsIGF0ZW5kZW5kbyBhb3MgYW5zZWlvcyBkZXNzYSB1bml2ZXJzaWRhZGUgCmVtIG1hbnRlciBzdWEgcHJvZHXvv73vv71vIGNpZW5077+9ZmljYSBjb20gYXMgcmVzdHJp77+977+9ZXMgaW1wb3N0YXMgcGVsb3MgCmVkaXRvcmVzIGRlIHBlcmnvv71kaWNvcy4gCgogICAgUGFyYSBhcyBwdWJsaWNh77+977+9ZXMgZW0gaW5pY2lhdGl2YXMgcXVlIHNlZ3VlbSBhIHBvbO+/vXRpY2EgZGUgCkFjZXNzbyBBYmVydG8sIG9zIGRlcO+/vXNpdG9zIGNvbXB1bHPvv71yaW9zIG5lc3NlIHJlcG9zaXTvv71yaW8gbWFudO+/vW0gCm9zIGRpcmVpdG9zIGF1dG9yYWlzLCBtYXMgbWFudO+/vW0gbyBhY2Vzc28gaXJyZXN0cml0byBhbyBtZXRhZGFkb3MgCmUgdGV4dG8gY29tcGxldG8uIEFzc2ltLCBhIGFjZWl0Ye+/ve+/vW8gZGVzc2UgdGVybW8gbu+/vW8gbmVjZXNzaXRhIGRlIApjb25zZW50aW1lbnRvIHBvciBwYXJ0ZSBkZSBhdXRvcmVzL2RldGVudG9yZXMgZG9zIGRpcmVpdG9zLCBwb3IgCmVzdGFyZW0gZW0gaW5pY2lhdGl2YXMgZGUgYWNlc3NvIGFiZXJ0by4KCiAgICBFbSBhbWJvcyBvIGNhc28sIGVzc2UgdGVybW8gZGUgbGljZW7vv71hLCBwb2RlIHNlciBhY2VpdG8gcGVsbyAKYXV0b3IsIGRldGVudG9yZXMgZGUgZGlyZWl0b3MgZS9vdSB0ZXJjZWlyb3MgYW1wYXJhZG9zIHBlbGEgCnVuaXZlcnNpZGFkZS4gRGV2aWRvIGFvcyBkaWZlcmVudGVzIHByb2Nlc3NvcyBwZWxvIHF1YWwgYSBzdWJtaXNz77+9byAKcG9kZSBvY29ycmVyLCBvIHJlcG9zaXTvv71yaW8gcGVybWl0ZSBhIGFjZWl0Ye+/ve+/vW8gZGEgbGljZW7vv71hIHBvciAKdGVyY2Vpcm9zLCBzb21lbnRlIG5vcyBjYXNvcyBkZSBkb2N1bWVudG9zIHByb2R1emlkb3MgcG9yIGludGVncmFudGVzIApkYSBVRkJBIGUgc3VibWV0aWRvcyBwb3IgcGVzc29hcyBhbXBhcmFkYXMgcG9yIGVzdGEgaW5zdGl0dWnvv73vv71vLgo=Repositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322022-07-05T17:03Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
dc.title.alternative.pt_BR.fl_str_mv Algebra Universalis
title Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
spellingShingle Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
Sankappanavar, H. P.
title_short Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
title_full Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
title_fullStr Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
title_full_unstemmed Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
title_sort Congruence-semimodular and congruence-distributive pseudocomplemented semilattices
author Sankappanavar, H. P.
author_facet Sankappanavar, H. P.
author_role author
dc.contributor.author.fl_str_mv Sankappanavar, H. P.
Sankappanavar, H. P.
description Texto completo. Acesso restrito. p. 68 - 81
publishDate 1982
dc.date.issued.fl_str_mv 1982
dc.date.accessioned.fl_str_mv 2013-02-21T18:34:24Z
dc.date.available.fl_str_mv 2013-02-21T18:34:24Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.repositorio.ufba.br/ri/handle/ri/8629
dc.identifier.issn.none.fl_str_mv 0002-5240
dc.identifier.number.pt_BR.fl_str_mv v. 14, n. 1
identifier_str_mv 0002-5240
v. 14, n. 1
url http://www.repositorio.ufba.br/ri/handle/ri/8629
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Algebra Universalis
publisher.none.fl_str_mv Algebra Universalis
dc.source.pt_BR.fl_str_mv 10.1007/BF02483909
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/8629/1/999999asd.pdf
https://repositorio.ufba.br/bitstream/ri/8629/2/license.txt
https://repositorio.ufba.br/bitstream/ri/8629/3/999999asd.pdf.txt
bitstream.checksum.fl_str_mv e7ccf3991ddf559ab37a96a996e392a5
1b89a9a0548218172d7c829f87a0eab9
06b7e51e8fc077b8c75076712e4dd2b3
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv
_version_ 1801502471140409344

Registros relacionados