FRINK Linked Data Fragments server

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

• W4313897140 endingPage "16" @default.
• W4313897140 startingPage "1" @default.
• W4313897140 abstract "Abstract Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $mathcal {L}_{omega omega }^{-} $ ). In this note, we provide a fix: we show that $mathcal {L}_{omega omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity." @default.
• W4313897140 created "2023-01-10" @default.
• W4313897140 creator A5038642668 @default.
• W4313897140 creator A5054305320 @default.
• W4313897140 creator A5089384409 @default.
• W4313897140 date "2023-01-10" @default.
• W4313897140 modified "2023-09-26" @default.
• W4313897140 title "MAXIMALITY OF LOGIC WITHOUT IDENTITY" @default.
• W4313897140 cites W1620795478 @default.
• W4313897140 cites W1974483963 @default.
• W4313897140 cites W1978022600 @default.
• W4313897140 cites W1979956707 @default.
• W4313897140 cites W1980754228 @default.
• W4313897140 cites W1990016381 @default.
• W4313897140 cites W2006385373 @default.
• W4313897140 cites W2020112396 @default.
• W4313897140 cites W2028491863 @default.
• W4313897140 cites W2065676868 @default.
• W4313897140 cites W2067980579 @default.
• W4313897140 cites W2079585679 @default.
• W4313897140 cites W2087142904 @default.
• W4313897140 cites W2090019996 @default.
• W4313897140 cites W2095721721 @default.
• W4313897140 cites W2098244894 @default.
• W4313897140 cites W2127288437 @default.
• W4313897140 cites W2139010686 @default.
• W4313897140 cites W2149736013 @default.
• W4313897140 cites W2173438417 @default.
• W4313897140 cites W3034799858 @default.
• W4313897140 cites W3128970283 @default.
• W4313897140 cites W3130255400 @default.
• W4313897140 cites W814577864 @default.
• W4313897140 doi "https://doi.org/10.1017/jsl.2023.2" @default.
• W4313897140 hasPublicationYear "2023" @default.
• W4313897140 type Work @default.
• W4313897140 citedByCount "1" @default.
• W4313897140 countsByYear W43138971402023 @default.
• W4313897140 crossrefType "journal-article" @default.
• W4313897140 hasAuthorship W4313897140A5038642668 @default.
• W4313897140 hasAuthorship W4313897140A5054305320 @default.
• W4313897140 hasAuthorship W4313897140A5089384409 @default.
• W4313897140 hasBestOaLocation W43138971401 @default.
• W4313897140 hasConcept C108710211 @default.
• W4313897140 hasConcept C111472728 @default.
• W4313897140 hasConcept C115624301 @default.
• W4313897140 hasConcept C118615104 @default.
• W4313897140 hasConcept C120665830 @default.
• W4313897140 hasConcept C121332964 @default.
• W4313897140 hasConcept C138885662 @default.
• W4313897140 hasConcept C185592680 @default.
• W4313897140 hasConcept C18648836 @default.
• W4313897140 hasConcept C189950617 @default.
• W4313897140 hasConcept C202444582 @default.
• W4313897140 hasConcept C203436722 @default.
• W4313897140 hasConcept C203702658 @default.
• W4313897140 hasConcept C24890656 @default.
• W4313897140 hasConcept C2524010 @default.
• W4313897140 hasConcept C2778355321 @default.
• W4313897140 hasConcept C2779557605 @default.
• W4313897140 hasConcept C2780841128 @default.
• W4313897140 hasConcept C33923547 @default.
• W4313897140 hasConcept C62520636 @default.
• W4313897140 hasConcept C8010536 @default.
• W4313897140 hasConceptScore W4313897140C108710211 @default.
• W4313897140 hasConceptScore W4313897140C111472728 @default.
• W4313897140 hasConceptScore W4313897140C115624301 @default.
• W4313897140 hasConceptScore W4313897140C118615104 @default.
• W4313897140 hasConceptScore W4313897140C120665830 @default.
• W4313897140 hasConceptScore W4313897140C121332964 @default.
• W4313897140 hasConceptScore W4313897140C138885662 @default.
• W4313897140 hasConceptScore W4313897140C185592680 @default.
• W4313897140 hasConceptScore W4313897140C18648836 @default.
• W4313897140 hasConceptScore W4313897140C189950617 @default.
• W4313897140 hasConceptScore W4313897140C202444582 @default.
• W4313897140 hasConceptScore W4313897140C203436722 @default.
• W4313897140 hasConceptScore W4313897140C203702658 @default.
• W4313897140 hasConceptScore W4313897140C24890656 @default.
• W4313897140 hasConceptScore W4313897140C2524010 @default.
• W4313897140 hasConceptScore W4313897140C2778355321 @default.
• W4313897140 hasConceptScore W4313897140C2779557605 @default.
• W4313897140 hasConceptScore W4313897140C2780841128 @default.
• W4313897140 hasConceptScore W4313897140C33923547 @default.
• W4313897140 hasConceptScore W4313897140C62520636 @default.
• W4313897140 hasConceptScore W4313897140C8010536 @default.
• W4313897140 hasLocation W43138971401 @default.
• W4313897140 hasLocation W43138971402 @default.
• W4313897140 hasLocation W43138971403 @default.
• W4313897140 hasOpenAccess W4313897140 @default.
• W4313897140 hasPrimaryLocation W43138971401 @default.
• W4313897140 hasRelatedWork W1972112806 @default.
• W4313897140 hasRelatedWork W1973052363 @default.
• W4313897140 hasRelatedWork W1976592470 @default.
• W4313897140 hasRelatedWork W2020174565 @default.
• W4313897140 hasRelatedWork W2167154330 @default.
• W4313897140 hasRelatedWork W2606825968 @default.
• W4313897140 hasRelatedWork W4220930588 @default.
• W4313897140 hasRelatedWork W4284897432 @default.
• W4313897140 hasRelatedWork W4313897140 @default.

• next