Axioms for lattices and boolean algebras:
The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they ar...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2008
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of "join and meet" or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems. A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which - according to G Gratzer, a leading expert in modern lattice theory - is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices |
| Beschreibung: | xi, 216 p. ill |
| ISBN: | 9789812834553 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044637047 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2008 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812834553 |c electronic bk. |9 978-981-283-455-3 | ||
| 024 | 7 | |a 10.1142/7007 |2 doi | |
| 035 | |a (ZDB-124-WOP)00001503 | ||
| 035 | |a (OCoLC)1012692272 | ||
| 035 | |a (DE-599)BVBBV044637047 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 511.3/3 |2 22 | |
| 100 | 1 | |a Padmanabhan, R. |d 1938- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Axioms for lattices and boolean algebras |c R. Padmanabhan, S. Rudeanu |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2008 | |
| 300 | |a xi, 216 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of "join and meet" or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems. A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which - according to G Gratzer, a leading expert in modern lattice theory - is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices | ||
| 650 | 4 | |a Lattice theory | |
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 4 | |a Axioms | |
| 700 | 1 | |a Rudeanu, Sergiu |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/7007#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030035019 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/7007#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178052476829696 |
|---|---|
| any_adam_object | |
| author | Padmanabhan, R. 1938- |
| author_facet | Padmanabhan, R. 1938- |
| author_role | aut |
| author_sort | Padmanabhan, R. 1938- |
| author_variant | r p rp |
| building | Verbundindex |
| bvnumber | BV044637047 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00001503 (OCoLC)1012692272 (DE-599)BVBBV044637047 |
| dewey-full | 511.3/3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/3 |
| dewey-search | 511.3/3 |
| dewey-sort | 3511.3 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02736nmm a2200385zc 4500</leader><controlfield tag="001">BV044637047</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2008 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812834553</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-283-455-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/7007</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00001503 </subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012692272</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044637047</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Padmanabhan, R.</subfield><subfield code="d">1938-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Axioms for lattices and boolean algebras</subfield><subfield code="c">R. Padmanabhan, S. Rudeanu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 216 p.</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of "join and meet" or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems. A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which - according to G Gratzer, a leading expert in modern lattice theory - is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lattice theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Axioms</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rudeanu, Sergiu</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/7007#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030035019</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/7007#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044637047 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:50Z |
| institution | BVB |
| isbn | 9789812834553 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030035019 |
| oclc_num | 1012692272 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xi, 216 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Padmanabhan, R. 1938- Verfasser aut Axioms for lattices and boolean algebras R. Padmanabhan, S. Rudeanu Singapore World Scientific Pub. Co. c2008 xi, 216 p. ill txt rdacontent c rdamedia cr rdacarrier The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of "join and meet" or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems. A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which - according to G Gratzer, a leading expert in modern lattice theory - is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices Lattice theory Algebra, Boolean Axioms Rudeanu, Sergiu Sonstige oth http://www.worldscientific.com/worldscibooks/10.1142/7007#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Padmanabhan, R. 1938- Axioms for lattices and boolean algebras Lattice theory Algebra, Boolean Axioms |
| title | Axioms for lattices and boolean algebras |
| title_auth | Axioms for lattices and boolean algebras |
| title_exact_search | Axioms for lattices and boolean algebras |
| title_full | Axioms for lattices and boolean algebras R. Padmanabhan, S. Rudeanu |
| title_fullStr | Axioms for lattices and boolean algebras R. Padmanabhan, S. Rudeanu |
| title_full_unstemmed | Axioms for lattices and boolean algebras R. Padmanabhan, S. Rudeanu |
| title_short | Axioms for lattices and boolean algebras |
| title_sort | axioms for lattices and boolean algebras |
| topic | Lattice theory Algebra, Boolean Axioms |
| topic_facet | Lattice theory Algebra, Boolean Axioms |
| url | http://www.worldscientific.com/worldscibooks/10.1142/7007#t=toc |
| work_keys_str_mv | AT padmanabhanr axiomsforlatticesandbooleanalgebras AT rudeanusergiu axiomsforlatticesandbooleanalgebras |