FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W832403894> ?p ?o ?g. }

• W832403894 abstract "in [Plotkin] for P C F enriched with 'parallel or' it turned out that all the finite elements of the model were definable in the enriched language. To my knowledge, this is the first model which is fully abstract and whose all finite elements need not be definable still. We leave it open to find out the properties which the ground domains should have so that all the finite elements of M are definable, (see articulate domains of [Milner]) We also leave open whether a better semantic characterization can be found when L is known to possess the addtional properties like sequent ia l ly (see [Berry]). Let us recollect the assumption on which Theorem 5.3 was proved. Basic Assumption 1. The ground domains D are algebraic, complete lattices. 2. All the finite elements of the ground domains as well as their finite projections are definable. Tha t we are using complete lattices instead of consistently complete epos is a technical problem which we would neglect at the moment. Otherwise our assumption is exactly the same as the assumption Milner used to construct a syntactic fully abstract , extensional model for £ . This surprising coincidence makes us speculate tha t the Basic Assuption might in some sense be a necessary condition to guarantee the existence of a fully abstract , extensional model for £ . We can justify it as follows. It seems reasonable to assume tha t if some fully abstract , extensional model for £ exists then one can construct such a model syntactically. After all the syntactic construction is the easiest one, and the whole point of Milner's syntactic construction in [Milner] was to show tha t a fully abstract , extensional model for L exists. If one can show that the Basic Assumption is in some sense necessary for Milner's syntactic construction to succeed, then it follows tha t the Basic Assumption is in some sense a necessary condition for the existence of a fully abstract , extensional model for £ . It is then not surprising tha t we hit upon the same condition in the semantic characterization of full abstraction; you don' t expect to find such a characterization when a fully abstract model does not exist! What is important : this paper gives us a definite step in the opposite direction; whenever the Basic Assumption is t rue, a semantic characterization can be found. Then we can say: // there exists some fully abstract, extensional, algebraic model for t then such a model can be found semantically. It is a rather sweeping s tatement , but one can not resist the temptat ion! I would expect something of this sort, with possibly a variant of the Basic Assumption, to be true. Tha t we leave as an open question for the moment . Though we did not show it, the O predicates defined in this paper can be used to show tha t O and A are semantically equivalent. In fact such inclusive predicates were introduced in [Milne] and [Reynolds] with exactly this aim in mind: to show the semantic equivalence between operational and denotational semantics. The techniques developed in these papers were mainly meant for the cases when the domains under consideration were reflexive. It should not then come as a surprise if the technique developed in this paper could be extended to obtain a semantic characterization of full abstraction even when domains under consideration axe reflexive. In fact tha t is the case." @default.
• W832403894 created "2016-06-24" @default.
• W832403894 creator A5028134406 @default.
• W832403894 date "1984-01-01" @default.
• W832403894 modified "2023-09-23" @default.
• W832403894 title "A semantic characterization of full abstraction" @default.
• W832403894 cites W1521093446 @default.
• W832403894 cites W1523016082 @default.
• W832403894 cites W1554882906 @default.
• W832403894 cites W1590364596 @default.
• W832403894 cites W2007270285 @default.
• W832403894 cites W2039112578 @default.
• W832403894 cites W2151402235 @default.
• W832403894 cites W2798525073 @default.
• W832403894 hasPublicationYear "1984" @default.
• W832403894 type Work @default.
• W832403894 sameAs 832403894 @default.
• W832403894 citedByCount "1" @default.
• W832403894 crossrefType "journal-article" @default.
• W832403894 hasAuthorship W832403894A5028134406 @default.
• W832403894 hasConcept C111472728 @default.
• W832403894 hasConcept C118615104 @default.
• W832403894 hasConcept C120665830 @default.
• W832403894 hasConcept C121332964 @default.
• W832403894 hasConcept C124304363 @default.
• W832403894 hasConcept C136979486 @default.
• W832403894 hasConcept C138885662 @default.
• W832403894 hasConcept C202444582 @default.
• W832403894 hasConcept C2780841128 @default.
• W832403894 hasConcept C33923547 @default.
• W832403894 hasConcept C41008148 @default.
• W832403894 hasConcept C89421646 @default.
• W832403894 hasConceptScore W832403894C111472728 @default.
• W832403894 hasConceptScore W832403894C118615104 @default.
• W832403894 hasConceptScore W832403894C120665830 @default.
• W832403894 hasConceptScore W832403894C121332964 @default.
• W832403894 hasConceptScore W832403894C124304363 @default.
• W832403894 hasConceptScore W832403894C136979486 @default.
• W832403894 hasConceptScore W832403894C138885662 @default.
• W832403894 hasConceptScore W832403894C202444582 @default.
• W832403894 hasConceptScore W832403894C2780841128 @default.
• W832403894 hasConceptScore W832403894C33923547 @default.
• W832403894 hasConceptScore W832403894C41008148 @default.
• W832403894 hasConceptScore W832403894C89421646 @default.
• W832403894 hasLocation W8324038941 @default.
• W832403894 hasOpenAccess W832403894 @default.
• W832403894 hasPrimaryLocation W8324038941 @default.
• W832403894 hasRelatedWork W116475097 @default.
• W832403894 hasRelatedWork W12663474 @default.
• W832403894 hasRelatedWork W1500379608 @default.
• W832403894 hasRelatedWork W1544331224 @default.
• W832403894 hasRelatedWork W1550346002 @default.
• W832403894 hasRelatedWork W1975044351 @default.
• W832403894 hasRelatedWork W2010145286 @default.
• W832403894 hasRelatedWork W2059138077 @default.
• W832403894 hasRelatedWork W2078492415 @default.
• W832403894 hasRelatedWork W2124370717 @default.
• W832403894 hasRelatedWork W2160262733 @default.
• W832403894 hasRelatedWork W243707395 @default.
• W832403894 hasRelatedWork W2528443786 @default.
• W832403894 hasRelatedWork W47258078 @default.
• W832403894 hasRelatedWork W48790359 @default.
• W832403894 hasRelatedWork W19372812 @default.
• W832403894 hasRelatedWork W2115176256 @default.
• W832403894 isParatext "false" @default.
• W832403894 isRetracted "false" @default.
• W832403894 magId "832403894" @default.
• W832403894 workType "article" @default.