FRINK Linked Data Fragments server

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

• W2949686543 abstract "A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more general question of whether the equational (resp. order) theory of a non syntactical model M, say Eq(M) (resp. Ord(M)) can be recursively enumerable (= r.e. below). We conjecture that no such model exists and prove the conjecture for several large classes of models. In particular we introduce a notion of effective lambda-model and show that for all effective models M, Eq(M) is different from Lb, and Ord(M) is not r.e. If moreover M belongs to the stable or strongly stable semantics, then Eq(M) is not r.e. Concerning Scott's continuous semantics we explore the class of (all) graph models, show that it satisfies Lowenheim Skolem theorem, that there exists a minimum order/equational graph theory, and that both are the order/equ theories of an effective graph model. We deduce that no graph model can have an r.e. order theory, and also show that for some large subclasses, the same is true for Eq(M)." @default.
• W2949686543 created "2019-06-27" @default.
• W2949686543 creator A5058216930 @default.
• W2949686543 creator A5064465385 @default.
• W2949686543 creator A5072611295 @default.
• W2949686543 date "2007-01-24" @default.
• W2949686543 modified "2023-09-30" @default.
• W2949686543 title "Lambda theories of effective lambda models" @default.
• W2949686543 cites W1530168704 @default.
• W2949686543 cites W1719974439 @default.
• W2949686543 cites W1730763053 @default.
• W2949686543 cites W1974315746 @default.
• W2949686543 cites W1997012206 @default.
• W2949686543 cites W2018351319 @default.
• W2949686543 cites W2032766180 @default.
• W2949686543 cites W2056863314 @default.
• W2949686543 cites W2066155850 @default.
• W2949686543 cites W2074026916 @default.
• W2949686543 cites W2085670481 @default.
• W2949686543 cites W2098938409 @default.
• W2949686543 cites W2119310054 @default.
• W2949686543 cites W2139772363 @default.
• W2949686543 cites W2142286062 @default.
• W2949686543 cites W2143014812 @default.
• W2949686543 cites W2154273644 @default.
• W2949686543 cites W2166449267 @default.
• W2949686543 cites W2516185740 @default.
• W2949686543 hasPublicationYear "2007" @default.
• W2949686543 type Work @default.
• W2949686543 sameAs 2949686543 @default.
• W2949686543 citedByCount "0" @default.
• W2949686543 crossrefType "posted-content" @default.
• W2949686543 hasAuthorship W2949686543A5058216930 @default.
• W2949686543 hasAuthorship W2949686543A5064465385 @default.
• W2949686543 hasAuthorship W2949686543A5072611295 @default.
• W2949686543 hasConcept C10138342 @default.
• W2949686543 hasConcept C114614502 @default.
• W2949686543 hasConcept C118615104 @default.
• W2949686543 hasConcept C120665830 @default.
• W2949686543 hasConcept C121332964 @default.
• W2949686543 hasConcept C132525143 @default.
• W2949686543 hasConcept C135790938 @default.
• W2949686543 hasConcept C136979486 @default.
• W2949686543 hasConcept C142156749 @default.
• W2949686543 hasConcept C154945302 @default.
• W2949686543 hasConcept C162324750 @default.
• W2949686543 hasConcept C182306322 @default.
• W2949686543 hasConcept C203702658 @default.
• W2949686543 hasConcept C2777212361 @default.
• W2949686543 hasConcept C2778113609 @default.
• W2949686543 hasConcept C2780990831 @default.
• W2949686543 hasConcept C33923547 @default.
• W2949686543 hasConcept C41008148 @default.
• W2949686543 hasConcept C47030870 @default.
• W2949686543 hasConcept C61237538 @default.
• W2949686543 hasConceptScore W2949686543C10138342 @default.
• W2949686543 hasConceptScore W2949686543C114614502 @default.
• W2949686543 hasConceptScore W2949686543C118615104 @default.
• W2949686543 hasConceptScore W2949686543C120665830 @default.
• W2949686543 hasConceptScore W2949686543C121332964 @default.
• W2949686543 hasConceptScore W2949686543C132525143 @default.
• W2949686543 hasConceptScore W2949686543C135790938 @default.
• W2949686543 hasConceptScore W2949686543C136979486 @default.
• W2949686543 hasConceptScore W2949686543C142156749 @default.
• W2949686543 hasConceptScore W2949686543C154945302 @default.
• W2949686543 hasConceptScore W2949686543C162324750 @default.
• W2949686543 hasConceptScore W2949686543C182306322 @default.
• W2949686543 hasConceptScore W2949686543C203702658 @default.
• W2949686543 hasConceptScore W2949686543C2777212361 @default.
• W2949686543 hasConceptScore W2949686543C2778113609 @default.
• W2949686543 hasConceptScore W2949686543C2780990831 @default.
• W2949686543 hasConceptScore W2949686543C33923547 @default.
• W2949686543 hasConceptScore W2949686543C41008148 @default.
• W2949686543 hasConceptScore W2949686543C47030870 @default.
• W2949686543 hasConceptScore W2949686543C61237538 @default.
• W2949686543 hasLocation W29496865431 @default.
• W2949686543 hasOpenAccess W2949686543 @default.
• W2949686543 hasPrimaryLocation W29496865431 @default.
• W2949686543 hasRelatedWork W1501002175 @default.
• W2949686543 hasRelatedWork W1530861922 @default.
• W2949686543 hasRelatedWork W1621953021 @default.
• W2949686543 hasRelatedWork W1884543793 @default.
• W2949686543 hasRelatedWork W1965116174 @default.
• W2949686543 hasRelatedWork W1975466840 @default.
• W2949686543 hasRelatedWork W1978060594 @default.
• W2949686543 hasRelatedWork W2001752461 @default.
• W2949686543 hasRelatedWork W2007577694 @default.
• W2949686543 hasRelatedWork W2012920523 @default.
• W2949686543 hasRelatedWork W2019237208 @default.
• W2949686543 hasRelatedWork W2020563202 @default.
• W2949686543 hasRelatedWork W2021100785 @default.
• W2949686543 hasRelatedWork W2026682644 @default.
• W2949686543 hasRelatedWork W2051561433 @default.
• W2949686543 hasRelatedWork W2169702497 @default.
• W2949686543 hasRelatedWork W2279499033 @default.
• W2949686543 hasRelatedWork W27019768 @default.
• W2949686543 hasRelatedWork W2909921132 @default.
• W2949686543 hasRelatedWork W3125800196 @default.
• W2949686543 isParatext "false" @default.
• W2949686543 isRetracted "false" @default.

• next