Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386688383> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4386688383 abstract "Abstract We show that the predicate “ x is the power set of y ” is ‐definable, if V = L[E] is an extender model constructed from a coherent sequences of extenders, provided that there is no inner model with a Woodin cardinal. Here is a predicate true of just the infinite cardinals. From this we conclude: the validities of second order logic are reducible to , the set of validities of the Härtig quantifier logic. Further we show that if no L[E] model has a cardinal strong up to one of its ℵ‐fixed points, and , the Löwenheim number of this logic, is less than the least weakly inaccessible δ, then (i) is a limit of measurable cardinals of K, and (ii) the Weak Covering Lemma holds at δ." @default.
- W4386688383 created "2023-09-13" @default.
- W4386688383 creator A5051447400 @default.
- W4386688383 creator A5067128079 @default.
- W4386688383 date "2023-09-11" @default.
- W4386688383 modified "2023-10-16" @default.
- W4386688383 title "When cardinals determine the power set: inner models and Härtig quantifier logic" @default.
- W4386688383 cites W1481565952 @default.
- W4386688383 cites W1505529313 @default.
- W4386688383 cites W1608887313 @default.
- W4386688383 cites W2005800778 @default.
- W4386688383 cites W2007636328 @default.
- W4386688383 cites W2012066481 @default.
- W4386688383 cites W2031165885 @default.
- W4386688383 cites W2065550657 @default.
- W4386688383 cites W2068021410 @default.
- W4386688383 cites W2082978057 @default.
- W4386688383 cites W2084564078 @default.
- W4386688383 cites W2104031909 @default.
- W4386688383 cites W2200999863 @default.
- W4386688383 cites W3131649305 @default.
- W4386688383 cites W4234159245 @default.
- W4386688383 cites W4244549201 @default.
- W4386688383 doi "https://doi.org/10.1002/malq.202200030" @default.
- W4386688383 hasPublicationYear "2023" @default.
- W4386688383 type Work @default.
- W4386688383 citedByCount "0" @default.
- W4386688383 crossrefType "journal-article" @default.
- W4386688383 hasAuthorship W4386688383A5051447400 @default.
- W4386688383 hasAuthorship W4386688383A5067128079 @default.
- W4386688383 hasBestOaLocation W43866883831 @default.
- W4386688383 hasConcept C100643331 @default.
- W4386688383 hasConcept C102993220 @default.
- W4386688383 hasConcept C114614502 @default.
- W4386688383 hasConcept C118615104 @default.
- W4386688383 hasConcept C140146324 @default.
- W4386688383 hasConcept C154945302 @default.
- W4386688383 hasConcept C177264268 @default.
- W4386688383 hasConcept C18903297 @default.
- W4386688383 hasConcept C19689857 @default.
- W4386688383 hasConcept C199360897 @default.
- W4386688383 hasConcept C2777759810 @default.
- W4386688383 hasConcept C2778523021 @default.
- W4386688383 hasConcept C33923547 @default.
- W4386688383 hasConcept C41008148 @default.
- W4386688383 hasConcept C46757340 @default.
- W4386688383 hasConcept C86803240 @default.
- W4386688383 hasConceptScore W4386688383C100643331 @default.
- W4386688383 hasConceptScore W4386688383C102993220 @default.
- W4386688383 hasConceptScore W4386688383C114614502 @default.
- W4386688383 hasConceptScore W4386688383C118615104 @default.
- W4386688383 hasConceptScore W4386688383C140146324 @default.
- W4386688383 hasConceptScore W4386688383C154945302 @default.
- W4386688383 hasConceptScore W4386688383C177264268 @default.
- W4386688383 hasConceptScore W4386688383C18903297 @default.
- W4386688383 hasConceptScore W4386688383C19689857 @default.
- W4386688383 hasConceptScore W4386688383C199360897 @default.
- W4386688383 hasConceptScore W4386688383C2777759810 @default.
- W4386688383 hasConceptScore W4386688383C2778523021 @default.
- W4386688383 hasConceptScore W4386688383C33923547 @default.
- W4386688383 hasConceptScore W4386688383C41008148 @default.
- W4386688383 hasConceptScore W4386688383C46757340 @default.
- W4386688383 hasConceptScore W4386688383C86803240 @default.
- W4386688383 hasFunder F4320321108 @default.
- W4386688383 hasFunder F4320334678 @default.
- W4386688383 hasLocation W43866883831 @default.
- W4386688383 hasOpenAccess W4386688383 @default.
- W4386688383 hasPrimaryLocation W43866883831 @default.
- W4386688383 hasRelatedWork W1988735961 @default.
- W4386688383 hasRelatedWork W1993734719 @default.
- W4386688383 hasRelatedWork W2016308609 @default.
- W4386688383 hasRelatedWork W2089618463 @default.
- W4386688383 hasRelatedWork W2107448668 @default.
- W4386688383 hasRelatedWork W2126723972 @default.
- W4386688383 hasRelatedWork W2131055468 @default.
- W4386688383 hasRelatedWork W2560350525 @default.
- W4386688383 hasRelatedWork W2951097748 @default.
- W4386688383 hasRelatedWork W4230346027 @default.
- W4386688383 isParatext "false" @default.
- W4386688383 isRetracted "false" @default.
- W4386688383 workType "article" @default.