<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     caa a22        4500</leader>
  <controlfield tag="001">445813954</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20180317145220.0</controlfield>
  <controlfield tag="007">cr unu---uuuuu</controlfield>
  <controlfield tag="008">170323e20110701xx      s     000 0 eng  </controlfield>
  <datafield tag="024" ind1="7" ind2="0">
   <subfield code="a">10.1007/s11083-010-9166-0</subfield>
   <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NATIONALLICENCE)springer-10.1007/s11083-010-9166-0</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
   <subfield code="a">Generalized Priestley Quasi-Orders</subfield>
   <subfield code="h">[Elektronische Daten]</subfield>
   <subfield code="c">[Guram Bezhanishvili, Ramon Jansana]</subfield>
  </datafield>
  <datafield tag="520" ind1="3" ind2=" ">
   <subfield code="a">We introduce generalized Priestley quasi-orders and show that subalgebras of bounded distributive meet-semilattices are dually characterized by means of generalized Priestley quasi-orders. This generalizes the well-known characterization of subalgebras of bounded distributive lattices by means of Priestley quasi-orders (Adams, Algebra Univers 3:216-228, 1973; Cignoli et al., Order 8(3):299-315, 1991; Schmid, Order 19(1):11-34, 2002). We also introduce Vietoris families and prove that homomorphic images of bounded distributive meet-semilattices are dually characterized by Vietoris families. We show that this generalizes the well-known characterization (Priestley, Proc Lond Math Soc 24(3):507-530, 1972) of homomorphic images of a bounded distributive lattice by means of closed subsets of its Priestley space. We also show how to modify the notions of generalized Priestley quasi-order and Vietoris family to obtain the dual characterizations of subalgebras and homomorphic images of bounded implicative semilattices, which generalize the well-known dual characterizations of subalgebras and homomorphic images of Heyting algebras (Esakia, Sov Math Dokl 15:147-151, 1974).</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
   <subfield code="a">Springer Science+Business Media B.V., 2010</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Distributive semilattices</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Implicative semilattices</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Heyting algebras</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="690" ind1=" " ind2="7">
   <subfield code="a">Duality theory</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Bezhanishvili</subfield>
   <subfield code="D">Guram</subfield>
   <subfield code="u">Department of Mathematical Sciences, New Mexico State University, 88003-8001, Las Cruces, NM, USA</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Jansana</subfield>
   <subfield code="D">Ramon</subfield>
   <subfield code="u">Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Montalegre 6, 08001, Barcelona, Spain</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="773" ind1="0" ind2=" ">
   <subfield code="t">Order</subfield>
   <subfield code="d">Springer Netherlands</subfield>
   <subfield code="g">28/2(2011-07-01), 201-220</subfield>
   <subfield code="x">0167-8094</subfield>
   <subfield code="q">28:2&lt;201</subfield>
   <subfield code="1">2011</subfield>
   <subfield code="2">28</subfield>
   <subfield code="o">11083</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="0">
   <subfield code="u">https://doi.org/10.1007/s11083-010-9166-0</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="908" ind1=" " ind2=" ">
   <subfield code="D">1</subfield>
   <subfield code="a">research-article</subfield>
   <subfield code="2">jats</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">856</subfield>
   <subfield code="E">40</subfield>
   <subfield code="u">https://doi.org/10.1007/s11083-010-9166-0</subfield>
   <subfield code="q">text/html</subfield>
   <subfield code="z">Onlinezugriff via DOI</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Bezhanishvili</subfield>
   <subfield code="D">Guram</subfield>
   <subfield code="u">Department of Mathematical Sciences, New Mexico State University, 88003-8001, Las Cruces, NM, USA</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Jansana</subfield>
   <subfield code="D">Ramon</subfield>
   <subfield code="u">Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Montalegre 6, 08001, Barcelona, Spain</subfield>
   <subfield code="4">aut</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="P">773</subfield>
   <subfield code="E">0-</subfield>
   <subfield code="t">Order</subfield>
   <subfield code="d">Springer Netherlands</subfield>
   <subfield code="g">28/2(2011-07-01), 201-220</subfield>
   <subfield code="x">0167-8094</subfield>
   <subfield code="q">28:2&lt;201</subfield>
   <subfield code="1">2011</subfield>
   <subfield code="2">28</subfield>
   <subfield code="o">11083</subfield>
  </datafield>
  <datafield tag="900" ind1=" " ind2="7">
   <subfield code="a">Metadata rights reserved</subfield>
   <subfield code="b">Springer special CC-BY-NC licence</subfield>
   <subfield code="2">nationallicence</subfield>
  </datafield>
  <datafield tag="898" ind1=" " ind2=" ">
   <subfield code="a">BK010053</subfield>
   <subfield code="b">XK010053</subfield>
   <subfield code="c">XK010000</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NATIONALLICENCE</subfield>
   <subfield code="F">NATIONALLICENCE</subfield>
   <subfield code="b">NL-springer</subfield>
  </datafield>
 </record>
</collection>
