Publication
Independent axiom systems for nearlattices
| dc.contributor.author | Araújo, João | |
| dc.contributor.author | Kinyon, Michael | |
| dc.date.accessioned | 2015-03-23T14:06:15Z | |
| dc.date.available | 2015-03-23T14:06:15Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | A nearlattice is a join semilattice such that every principal filter is a lattice with respect to the induced order. Hickman and later Chajda et al independently showed that nearlattices can be treated as varieties of algebras with a ternary operation satisfying certain axioms. Our main result is that the variety of nearlattices is 2-based, and we exhibit an explicit system of two independent identities. We also show that the original axiom systems of Hickman as well as that of Chajda et al are dependent. | por |
| dc.identifier.citation | Araújo, João; Kinyon, Michael - Independent axiom systems for nearlattices. "Czechoslovak Mathematical Journal" [Em linha]. ISSN 0011-4642 (Print) 1572-9141 (Online). Vol. 61, nº 4 (Dez. 2011), p. 1-16 | por |
| dc.identifier.issn | 0011-4642 | |
| dc.identifier.issn | 1572-9141 | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/3793 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | http://link.springer.com/article/10.1007/s10587-011-0062-6 | por |
| dc.subject | Nearlattice | por |
| dc.subject | Equational base | por |
| dc.title | Independent axiom systems for nearlattices | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 16 | por |
| oaire.citation.startPage | 1 | por |
| oaire.citation.title | Czechoslovak Mathematical Journal | por |
| person.familyName | Ribeiro Soares Gonçalves de Araújo | |
| person.familyName | Kinyon | |
| person.givenName | João Jorge | |
| person.givenName | Michael Kinyon | |
| person.identifier.ciencia-id | EC1F-273A-9F24 | |
| person.identifier.ciencia-id | 2A10-E0DD-5A23 | |
| person.identifier.orcid | 0000-0001-6655-2172 | |
| person.identifier.orcid | 0000-0002-5227-8632 | |
| rcaap.rights | openAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 | |
| relation.isAuthorOfPublication | 0379041c-7e5e-4875-9f98-801efefa6330 | |
| relation.isAuthorOfPublication.latestForDiscovery | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 |