Matches in SemOpenAlex for { <https://semopenalex.org/work/W144477472> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W144477472 abstract "It is shown that no proper extension of first order logic by Lindstrom-Mostowski quantifiers of monadic type, that is quantifiers of the form Qx1…xn(ф1(x1),…,фn(xn)), satisfies the many sorted Craig’s interpolation lemma or even the one sorted, if closed under relativizations. For example Lω1ω or any of its admissible fragments can not be generated by any number of these quantifiers. This generalizes previous results of the same type shown under stronger hypothesis. In contrast, all monadic logics generated by cardinal quantifiers satisfy interpolation." @default.
- W144477472 created "2016-06-24" @default.
- W144477472 creator A5054305320 @default.
- W144477472 date "1985-01-01" @default.
- W144477472 modified "2023-09-23" @default.
- W144477472 title "Failure of interpolation for quantifiers of monadic type" @default.
- W144477472 cites W1974483963 @default.
- W144477472 cites W2044340169 @default.
- W144477472 cites W2056380831 @default.
- W144477472 cites W2149736013 @default.
- W144477472 cites W2954301182 @default.
- W144477472 doi "https://doi.org/10.1007/bfb0075304" @default.
- W144477472 hasPublicationYear "1985" @default.
- W144477472 type Work @default.
- W144477472 sameAs 144477472 @default.
- W144477472 citedByCount "1" @default.
- W144477472 crossrefType "book-chapter" @default.
- W144477472 hasAuthorship W144477472A5054305320 @default.
- W144477472 hasConcept C10138342 @default.
- W144477472 hasConcept C115961682 @default.
- W144477472 hasConcept C118615104 @default.
- W144477472 hasConcept C136119220 @default.
- W144477472 hasConcept C137800194 @default.
- W144477472 hasConcept C154945302 @default.
- W144477472 hasConcept C162324750 @default.
- W144477472 hasConcept C182306322 @default.
- W144477472 hasConcept C18903297 @default.
- W144477472 hasConcept C199360897 @default.
- W144477472 hasConcept C202444582 @default.
- W144477472 hasConcept C2777299769 @default.
- W144477472 hasConcept C2777759810 @default.
- W144477472 hasConcept C2778029271 @default.
- W144477472 hasConcept C33923547 @default.
- W144477472 hasConcept C41008148 @default.
- W144477472 hasConcept C46757340 @default.
- W144477472 hasConcept C86803240 @default.
- W144477472 hasConceptScore W144477472C10138342 @default.
- W144477472 hasConceptScore W144477472C115961682 @default.
- W144477472 hasConceptScore W144477472C118615104 @default.
- W144477472 hasConceptScore W144477472C136119220 @default.
- W144477472 hasConceptScore W144477472C137800194 @default.
- W144477472 hasConceptScore W144477472C154945302 @default.
- W144477472 hasConceptScore W144477472C162324750 @default.
- W144477472 hasConceptScore W144477472C182306322 @default.
- W144477472 hasConceptScore W144477472C18903297 @default.
- W144477472 hasConceptScore W144477472C199360897 @default.
- W144477472 hasConceptScore W144477472C202444582 @default.
- W144477472 hasConceptScore W144477472C2777299769 @default.
- W144477472 hasConceptScore W144477472C2777759810 @default.
- W144477472 hasConceptScore W144477472C2778029271 @default.
- W144477472 hasConceptScore W144477472C33923547 @default.
- W144477472 hasConceptScore W144477472C41008148 @default.
- W144477472 hasConceptScore W144477472C46757340 @default.
- W144477472 hasConceptScore W144477472C86803240 @default.
- W144477472 hasLocation W1444774721 @default.
- W144477472 hasOpenAccess W144477472 @default.
- W144477472 hasPrimaryLocation W1444774721 @default.
- W144477472 hasRelatedWork W1894586384 @default.
- W144477472 hasRelatedWork W1966763384 @default.
- W144477472 hasRelatedWork W1984910129 @default.
- W144477472 hasRelatedWork W2020983073 @default.
- W144477472 hasRelatedWork W2037551046 @default.
- W144477472 hasRelatedWork W2038222783 @default.
- W144477472 hasRelatedWork W2039948391 @default.
- W144477472 hasRelatedWork W2046368091 @default.
- W144477472 hasRelatedWork W2120864474 @default.
- W144477472 hasRelatedWork W2127214181 @default.
- W144477472 hasRelatedWork W2131055468 @default.
- W144477472 hasRelatedWork W2131663704 @default.
- W144477472 hasRelatedWork W2165602048 @default.
- W144477472 hasRelatedWork W2293469044 @default.
- W144477472 hasRelatedWork W251225716 @default.
- W144477472 hasRelatedWork W2530085392 @default.
- W144477472 hasRelatedWork W2949828261 @default.
- W144477472 hasRelatedWork W3102748092 @default.
- W144477472 hasRelatedWork W51954198 @default.
- W144477472 hasRelatedWork W2125162033 @default.
- W144477472 isParatext "false" @default.
- W144477472 isRetracted "false" @default.
- W144477472 magId "144477472" @default.
- W144477472 workType "book-chapter" @default.