The preservation of Sahlqvist equations in completions of Boolean algebras with operators:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
Inst. for Logic, Language and Computation, Univ.
1998
|
| Series: | ILLC research report and technical notes series
Mathematical logic and foundations ; 1998,5 |
| Physical Description: | 25 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012333174 | ||
| 003 | DE-604 | ||
| 005 | 20180717 | ||
| 007 | t | ||
| 008 | 981230s1998 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)68026406 | ||
| 035 | |a (DE-599)BVBBV012333174 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 082 | 0 | |a 511.324 |2 21 | |
| 100 | 1 | |a Givant, Steven R. |d 1943- |e Verfasser |0 (DE-588)137394802 |4 aut | |
| 245 | 1 | 0 | |a The preservation of Sahlqvist equations in completions of Boolean algebras with operators |c Steven Givant and Yde Venema |
| 264 | 1 | |a Amsterdam |b Inst. for Logic, Language and Computation, Univ. |c 1998 | |
| 300 | |a 25 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a ILLC research report and technical notes series : Mathematical logic and foundations |v 1998,5 | |
| 700 | 1 | |a Venema, Yde |d 1963- |e Verfasser |0 (DE-588)1145737048 |4 aut | |
| 830 | 0 | |a ILLC research report and technical notes series |v Mathematical logic and foundations ; 1998,5 |w (DE-604)BV010690005 |9 1998,5 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008362635 | ||
Record in the Search Index
| _version_ | 1804126959716794368 |
|---|---|
| any_adam_object | |
| author | Givant, Steven R. 1943- Venema, Yde 1963- |
| author_GND | (DE-588)137394802 (DE-588)1145737048 |
| author_facet | Givant, Steven R. 1943- Venema, Yde 1963- |
| author_role | aut aut |
| author_sort | Givant, Steven R. 1943- |
| author_variant | s r g sr srg y v yv |
| building | Verbundindex |
| bvnumber | BV012333174 |
| ctrlnum | (OCoLC)68026406 (DE-599)BVBBV012333174 |
| dewey-full | 511.324 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.324 |
| dewey-search | 511.324 |
| dewey-sort | 3511.324 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01139nam a2200289 cb4500</leader><controlfield tag="001">BV012333174</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180717 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">981230s1998 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)68026406</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012333174</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.324</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Givant, Steven R.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137394802</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The preservation of Sahlqvist equations in completions of Boolean algebras with operators</subfield><subfield code="c">Steven Givant and Yde Venema</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Inst. for Logic, Language and Computation, Univ.</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">25 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">ILLC research report and technical notes series : Mathematical logic and foundations</subfield><subfield code="v">1998,5</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Venema, Yde</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1145737048</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">ILLC research report and technical notes series</subfield><subfield code="v">Mathematical logic and foundations ; 1998,5</subfield><subfield code="w">(DE-604)BV010690005</subfield><subfield code="9">1998,5</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008362635</subfield></datafield></record></collection> |
| id | DE-604.BV012333174 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:25:44Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008362635 |
| oclc_num | 68026406 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 25 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Inst. for Logic, Language and Computation, Univ. |
| record_format | marc |
| series | ILLC research report and technical notes series |
| series2 | ILLC research report and technical notes series : Mathematical logic and foundations |
| spelling | Givant, Steven R. 1943- Verfasser (DE-588)137394802 aut The preservation of Sahlqvist equations in completions of Boolean algebras with operators Steven Givant and Yde Venema Amsterdam Inst. for Logic, Language and Computation, Univ. 1998 25 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier ILLC research report and technical notes series : Mathematical logic and foundations 1998,5 Venema, Yde 1963- Verfasser (DE-588)1145737048 aut ILLC research report and technical notes series Mathematical logic and foundations ; 1998,5 (DE-604)BV010690005 1998,5 |
| spellingShingle | Givant, Steven R. 1943- Venema, Yde 1963- The preservation of Sahlqvist equations in completions of Boolean algebras with operators ILLC research report and technical notes series |
| title | The preservation of Sahlqvist equations in completions of Boolean algebras with operators |
| title_auth | The preservation of Sahlqvist equations in completions of Boolean algebras with operators |
| title_exact_search | The preservation of Sahlqvist equations in completions of Boolean algebras with operators |
| title_full | The preservation of Sahlqvist equations in completions of Boolean algebras with operators Steven Givant and Yde Venema |
| title_fullStr | The preservation of Sahlqvist equations in completions of Boolean algebras with operators Steven Givant and Yde Venema |
| title_full_unstemmed | The preservation of Sahlqvist equations in completions of Boolean algebras with operators Steven Givant and Yde Venema |
| title_short | The preservation of Sahlqvist equations in completions of Boolean algebras with operators |
| title_sort | the preservation of sahlqvist equations in completions of boolean algebras with operators |
| volume_link | (DE-604)BV010690005 |
| work_keys_str_mv | AT givantstevenr thepreservationofsahlqvistequationsincompletionsofbooleanalgebraswithoperators AT venemayde thepreservationofsahlqvistequationsincompletionsofbooleanalgebraswithoperators |