Matches in SemOpenAlex for { <https://semopenalex.org/work/W3128101734> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3128101734 endingPage "800" @default.
- W3128101734 startingPage "785" @default.
- W3128101734 abstract "We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property." @default.
- W3128101734 created "2021-02-15" @default.
- W3128101734 creator A5003820161 @default.
- W3128101734 creator A5080876991 @default.
- W3128101734 date "2021-02-01" @default.
- W3128101734 modified "2023-10-18" @default.
- W3128101734 title "TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY" @default.
- W3128101734 cites W1505529313 @default.
- W3128101734 cites W1557206079 @default.
- W3128101734 cites W1586898263 @default.
- W3128101734 cites W1922936597 @default.
- W3128101734 cites W1993001926 @default.
- W3128101734 cites W2017057265 @default.
- W3128101734 cites W2018944629 @default.
- W3128101734 cites W2035012398 @default.
- W3128101734 cites W2044340169 @default.
- W3128101734 cites W2050945221 @default.
- W3128101734 cites W2084862672 @default.
- W3128101734 cites W2089615766 @default.
- W3128101734 cites W2092043065 @default.
- W3128101734 cites W2153036557 @default.
- W3128101734 cites W2161461080 @default.
- W3128101734 cites W2173945384 @default.
- W3128101734 cites W2906231331 @default.
- W3128101734 cites W3101714668 @default.
- W3128101734 cites W4211034768 @default.
- W3128101734 cites W4236573881 @default.
- W3128101734 cites W4248037667 @default.
- W3128101734 cites W4252113473 @default.
- W3128101734 doi "https://doi.org/10.1017/jsl.2021.7" @default.
- W3128101734 hasPublicationYear "2021" @default.
- W3128101734 type Work @default.
- W3128101734 sameAs 3128101734 @default.
- W3128101734 citedByCount "0" @default.
- W3128101734 crossrefType "journal-article" @default.
- W3128101734 hasAuthorship W3128101734A5003820161 @default.
- W3128101734 hasAuthorship W3128101734A5080876991 @default.
- W3128101734 hasBestOaLocation W31281017342 @default.
- W3128101734 hasConcept C111472728 @default.
- W3128101734 hasConcept C11413529 @default.
- W3128101734 hasConcept C118615104 @default.
- W3128101734 hasConcept C134306372 @default.
- W3128101734 hasConcept C138885662 @default.
- W3128101734 hasConcept C182365436 @default.
- W3128101734 hasConcept C189950617 @default.
- W3128101734 hasConcept C2776235265 @default.
- W3128101734 hasConcept C33923547 @default.
- W3128101734 hasConceptScore W3128101734C111472728 @default.
- W3128101734 hasConceptScore W3128101734C11413529 @default.
- W3128101734 hasConceptScore W3128101734C118615104 @default.
- W3128101734 hasConceptScore W3128101734C134306372 @default.
- W3128101734 hasConceptScore W3128101734C138885662 @default.
- W3128101734 hasConceptScore W3128101734C182365436 @default.
- W3128101734 hasConceptScore W3128101734C189950617 @default.
- W3128101734 hasConceptScore W3128101734C2776235265 @default.
- W3128101734 hasConceptScore W3128101734C33923547 @default.
- W3128101734 hasIssue "2" @default.
- W3128101734 hasLocation W31281017341 @default.
- W3128101734 hasLocation W31281017342 @default.
- W3128101734 hasOpenAccess W3128101734 @default.
- W3128101734 hasPrimaryLocation W31281017341 @default.
- W3128101734 hasRelatedWork W1554056448 @default.
- W3128101734 hasRelatedWork W1558456818 @default.
- W3128101734 hasRelatedWork W1653282108 @default.
- W3128101734 hasRelatedWork W1981243725 @default.
- W3128101734 hasRelatedWork W2020478166 @default.
- W3128101734 hasRelatedWork W2033481795 @default.
- W3128101734 hasRelatedWork W2063323033 @default.
- W3128101734 hasRelatedWork W2330172022 @default.
- W3128101734 hasRelatedWork W2580864378 @default.
- W3128101734 hasRelatedWork W4313644249 @default.
- W3128101734 hasVolume "86" @default.
- W3128101734 isParatext "false" @default.
- W3128101734 isRetracted "false" @default.
- W3128101734 magId "3128101734" @default.
- W3128101734 workType "article" @default.