Axioms for lattices and boolean algebras:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2008
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references (p. 193-210) and index 1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems 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: | 1 Online-Ressource |
| ISBN: | 9789812834553 9812834559 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043081773 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2008 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812834553 |c electronic bk. |9 978-981-283-455-3 | ||
| 020 | |a 9812834559 |c electronic bk. |9 981-283-455-9 | ||
| 035 | |a (OCoLC)820944613 | ||
| 035 | |a (DE-599)BVBBV043081773 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3/3 |2 22 | |
| 100 | 1 | |a Padmanabhan, R., (Ranganathan) |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 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 193-210) and index | ||
| 500 | |a 1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems | ||
| 500 | |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 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 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://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028505965 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175474520227840 |
|---|---|
| any_adam_object | |
| author | Padmanabhan, R., (Ranganathan) |
| author_facet | Padmanabhan, R., (Ranganathan) |
| author_role | aut |
| author_sort | Padmanabhan, R., (Ranganathan) |
| author_variant | r r p rr rrp |
| building | Verbundindex |
| bvnumber | BV043081773 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)820944613 (DE-599)BVBBV043081773 |
| 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>03249nmm a2200433zc 4500</leader><controlfield tag="001">BV043081773</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2008 |||| 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="020" ind1=" " ind2=" "><subfield code="a">9812834559</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-283-455-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)820944613</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043081773</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-1046</subfield><subfield code="a">DE-1047</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., (Ranganathan)</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">1 Online-Ressource</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 193-210) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems</subfield></datafield><datafield tag="500" 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="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</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://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028505965</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043081773 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:52Z |
| institution | BVB |
| isbn | 9789812834553 9812834559 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028505965 |
| oclc_num | 820944613 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Padmanabhan, R., (Ranganathan) Verfasser aut Axioms for lattices and boolean algebras R. Padmanabhan, S. Rudeanu Singapore World Scientific Pub. Co. c2008 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (p. 193-210) and index 1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems 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 MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Lattice theory Algebra, Boolean Axioms Rudeanu, Sergiu Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196 Aggregator Volltext |
| spellingShingle | Padmanabhan, R., (Ranganathan) Axioms for lattices and boolean algebras MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh 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 | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Lattice theory Algebra, Boolean Axioms |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Lattice theory Algebra, Boolean Axioms |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=521196 |
| work_keys_str_mv | AT padmanabhanrranganathan axiomsforlatticesandbooleanalgebras AT rudeanusergiu axiomsforlatticesandbooleanalgebras |