Algebras and Orders
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
1993
|
| Schriftenreihe: | NATO ASI Series, Series C: Mathematical and Physical Sciences
389 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042416257 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150316s1993 xx o|||| 00||| eng d | ||
| 020 | |a 9789401706971 |c Online |9 978-94-017-0697-1 | ||
| 020 | |a 9789048142439 |c Print |9 978-90-481-4243-9 | ||
| 024 | 7 | |a 10.1007/978-94-017-0697-1 |2 doi | |
| 035 | |a (OCoLC)905347741 | ||
| 035 | |a (DE-599)BVBBV042416257 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-83 | ||
| 082 | 0 | |a 512 |2 23 | |
| 084 | |a PHY 000 |2 stub | ||
| 100 | 1 | |a Rosenberg, Ivo G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algebras and Orders |c edited by Ivo G. Rosenberg, Gert Sabidussi |
| 246 | 1 | 3 | |a Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montreal, Canada, July 29-August 9, 1991 |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1993 | |
| 300 | |a 1 Online-Ressource (XVIII, 558 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO ASI Series, Series C: Mathematical and Physical Sciences |v 389 |x 1389-2185 | |
| 500 | |a In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Topology | |
| 650 | 4 | |a Order, Lattices, Ordered Algebraic Structures | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Algebraische Struktur |0 (DE-588)4001166-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verbandstheorie |0 (DE-588)4127072-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Montréal |2 gnd-content | |
| 689 | 0 | 0 | |a Verbandstheorie |0 (DE-588)4127072-1 |D s |
| 689 | 0 | |8 3\p |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Struktur |0 (DE-588)4001166-5 |D s |
| 689 | 1 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Sabidussi, Gert |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-0697-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-PHA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-PHA_Archive | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027851750 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2065572 |
|---|---|
| _version_ | 1820860290506424320 |
| any_adam_object | |
| author | Rosenberg, Ivo G. |
| author_facet | Rosenberg, Ivo G. |
| author_role | aut |
| author_sort | Rosenberg, Ivo G. |
| author_variant | i g r ig igr |
| building | Verbundindex |
| bvnumber | BV042416257 |
| classification_tum | PHY 000 |
| collection | ZDB-2-PHA ZDB-2-BAE |
| ctrlnum | (OCoLC)905347741 (DE-599)BVBBV042416257 |
| dewey-full | 512 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512 |
| dewey-search | 512 |
| dewey-sort | 3512 |
| dewey-tens | 510 - Mathematics |
| discipline | Physik Mathematik |
| doi_str_mv | 10.1007/978-94-017-0697-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04019nam a2200649zcb4500</leader><controlfield tag="001">BV042416257</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150316s1993 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401706971</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-0697-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048142439</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-4243-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-0697-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905347741</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042416257</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-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHY 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rosenberg, Ivo G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebras and Orders</subfield><subfield code="c">edited by Ivo G. Rosenberg, Gert Sabidussi</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montreal, Canada, July 29-August 9, 1991</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 558 p)</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="490" ind1="0" ind2=" "><subfield code="a">NATO ASI Series, Series C: Mathematical and Physical Sciences</subfield><subfield code="v">389</subfield><subfield code="x">1389-2185</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Topology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Order, Lattices, Ordered Algebraic Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verbandstheorie</subfield><subfield code="0">(DE-588)4127072-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verbandstheorie</subfield><subfield code="0">(DE-588)4127072-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sabidussi, Gert</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-0697-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-PHA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-PHA_Archive</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027851750</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1991 Montréal gnd-content |
| genre_facet | Hochschulschrift Konferenzschrift 1991 Montréal |
| id | DE-604.BV042416257 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-24T04:23:13Z |
| institution | BVB |
| isbn | 9789401706971 9789048142439 |
| issn | 1389-2185 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027851750 |
| oclc_num | 905347741 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-83 |
| physical | 1 Online-Ressource (XVIII, 558 p) |
| psigel | ZDB-2-PHA ZDB-2-BAE ZDB-2-PHA_Archive |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | NATO ASI Series, Series C: Mathematical and Physical Sciences |
| spellingShingle | Rosenberg, Ivo G. Algebras and Orders Mathematics Computational complexity Algebra Logic, Symbolic and mathematical Topology Order, Lattices, Ordered Algebraic Structures Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Algebraische Struktur (DE-588)4001166-5 gnd Verbandstheorie (DE-588)4127072-1 gnd |
| subject_GND | (DE-588)4001166-5 (DE-588)4127072-1 (DE-588)4113937-9 (DE-588)1071861417 |
| title | Algebras and Orders |
| title_alt | Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montreal, Canada, July 29-August 9, 1991 |
| title_auth | Algebras and Orders |
| title_exact_search | Algebras and Orders |
| title_full | Algebras and Orders edited by Ivo G. Rosenberg, Gert Sabidussi |
| title_fullStr | Algebras and Orders edited by Ivo G. Rosenberg, Gert Sabidussi |
| title_full_unstemmed | Algebras and Orders edited by Ivo G. Rosenberg, Gert Sabidussi |
| title_short | Algebras and Orders |
| title_sort | algebras and orders |
| topic | Mathematics Computational complexity Algebra Logic, Symbolic and mathematical Topology Order, Lattices, Ordered Algebraic Structures Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Algebraische Struktur (DE-588)4001166-5 gnd Verbandstheorie (DE-588)4127072-1 gnd |
| topic_facet | Mathematics Computational complexity Algebra Logic, Symbolic and mathematical Topology Order, Lattices, Ordered Algebraic Structures Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Algebraische Struktur Verbandstheorie Hochschulschrift Konferenzschrift 1991 Montréal |
| url | https://doi.org/10.1007/978-94-017-0697-1 |
| work_keys_str_mv | AT rosenbergivog algebrasandorders AT sabidussigert algebrasandorders AT rosenbergivog proceedingsofthenatoadvancedstudyinstituteandseminairedemathematiquessuperieuresmontrealcanadajuly29august91991 AT sabidussigert proceedingsofthenatoadvancedstudyinstituteandseminairedemathematiquessuperieuresmontrealcanadajuly29august91991 |