An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory Export

@incollection{citeulike:4234789, abstract = {We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On the one hand, we introduce a class of non-elementary models of SDT and show that the domains in them yield models of ADT. On the other hand, for each model of ADT in a wide class we construct a model of SDT such that the domains in it provide a model of ADT which conservatively extends the original model.}, author = {Fiore, Marcelo and Plotkin, Gordon}, citeulike-article-id = {4234789}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-63172-0_36}, citeulike-linkout-1 = {http://www.springerlink.com/content/0773586ww760tu27}, citeulike-linkout-2 = {http://www.margaretmorgan.com/wesley/papers/ADT_and_SDT.pdf}, citeulike-linkout-3 = {http://homepages.inf.ed.ac.uk/gdp/publications/ADT_and_SDT.pdf}, doi = {10.1007/3-540-63172-0_36}, journal = {Computer Science Logic}, keywords = {domain-theory}, pages = {129--149}, posted-at = {2009-03-29 04:40:47}, priority = {2}, title = {An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory}, url = {http://dx.doi.org/10.1007/3-540-63172-0_36}, year = {1997} }

TY - CHAP ID - citeulike:4234789 L3 - citeulike-article-id:4234789 N2 - We relate certain models of Axiomatic Domain Theory (ADT) and Synthetic Domain Theory (SDT). On the one hand, we introduce a class of non-elementary models of SDT and show that the domains in them yield models of ADT. On the other hand, for each model of ADT in a wide class we construct a model of SDT such that the domains in it provide a model of ADT which conservatively extends the original model. JF - Computer Science Logic EP - 149 TI - An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory SP - 129 KW - domain-theory AU - Fiore, Marcelo AU - Plotkin, Gordon PY - 1997/// UR - http://dx.doi.org/10.1007/3-540-63172-0_36 ER -