Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052565449> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2052565449 endingPage "114" @default.
- W2052565449 startingPage "98" @default.
- W2052565449 abstract "Given any subset A of ω1 there is a proper partial order which forces that the predicate x∈A and the predicate x∈ω1∖A can be expressed by ZFC-provably incompatible Σ3 formulas over the structure 〈Hω2,∈,NSω1〉. Also, if there is an inaccessible cardinal, then there is a proper partial order which forces the existence of a well-order of Hω2 definable over 〈Hω2,∈,NSω1〉 by a provably antisymmetric Σ3 formula with two free variables. The proofs of these results involve a technique for manipulating the guessing properties of club-sequences defined on stationary subsets of ω1 at will in such a way that the Σ3 theory of 〈Hω2,∈,NSω1〉 with countable ordinals as parameters is forced to code a prescribed subset of ω1. On the other hand, using theorems due to Woodin it can be shown that, in the presence of sufficiently strong large cardinals, the above results are close to optimal from the point of view of the Levy hierarchy." @default.
- W2052565449 created "2016-06-24" @default.
- W2052565449 creator A5017293866 @default.
- W2052565449 date "2006-10-01" @default.
- W2052565449 modified "2023-10-16" @default.
- W2052565449 title "Coding by club-sequences" @default.
- W2052565449 cites W1495351994 @default.
- W2052565449 cites W151695810 @default.
- W2052565449 cites W1981694349 @default.
- W2052565449 cites W1985995199 @default.
- W2052565449 cites W2049652789 @default.
- W2052565449 cites W2079540958 @default.
- W2052565449 cites W2117873821 @default.
- W2052565449 cites W2123625201 @default.
- W2052565449 cites W2319297044 @default.
- W2052565449 cites W2594540614 @default.
- W2052565449 cites W2595353538 @default.
- W2052565449 cites W2147635529 @default.
- W2052565449 doi "https://doi.org/10.1016/j.apal.2005.11.006" @default.
- W2052565449 hasPublicationYear "2006" @default.
- W2052565449 type Work @default.
- W2052565449 sameAs 2052565449 @default.
- W2052565449 citedByCount "2" @default.
- W2052565449 countsByYear W20525654492012 @default.
- W2052565449 crossrefType "journal-article" @default.
- W2052565449 hasAuthorship W2052565449A5017293866 @default.
- W2052565449 hasConcept C108710211 @default.
- W2052565449 hasConcept C110729354 @default.
- W2052565449 hasConcept C114614502 @default.
- W2052565449 hasConcept C118615104 @default.
- W2052565449 hasConcept C140146324 @default.
- W2052565449 hasConcept C173734053 @default.
- W2052565449 hasConcept C199360897 @default.
- W2052565449 hasConcept C2524010 @default.
- W2052565449 hasConcept C33923547 @default.
- W2052565449 hasConcept C41008148 @default.
- W2052565449 hasConceptScore W2052565449C108710211 @default.
- W2052565449 hasConceptScore W2052565449C110729354 @default.
- W2052565449 hasConceptScore W2052565449C114614502 @default.
- W2052565449 hasConceptScore W2052565449C118615104 @default.
- W2052565449 hasConceptScore W2052565449C140146324 @default.
- W2052565449 hasConceptScore W2052565449C173734053 @default.
- W2052565449 hasConceptScore W2052565449C199360897 @default.
- W2052565449 hasConceptScore W2052565449C2524010 @default.
- W2052565449 hasConceptScore W2052565449C33923547 @default.
- W2052565449 hasConceptScore W2052565449C41008148 @default.
- W2052565449 hasIssue "1-3" @default.
- W2052565449 hasLocation W20525654491 @default.
- W2052565449 hasOpenAccess W2052565449 @default.
- W2052565449 hasPrimaryLocation W20525654491 @default.
- W2052565449 hasRelatedWork W1587340481 @default.
- W2052565449 hasRelatedWork W2018616641 @default.
- W2052565449 hasRelatedWork W2019360514 @default.
- W2052565449 hasRelatedWork W2045289846 @default.
- W2052565449 hasRelatedWork W2052565449 @default.
- W2052565449 hasRelatedWork W2963802496 @default.
- W2052565449 hasRelatedWork W3009339632 @default.
- W2052565449 hasRelatedWork W4287828715 @default.
- W2052565449 hasRelatedWork W958029651 @default.
- W2052565449 hasRelatedWork W2183079734 @default.
- W2052565449 hasVolume "142" @default.
- W2052565449 isParatext "false" @default.
- W2052565449 isRetracted "false" @default.
- W2052565449 magId "2052565449" @default.
- W2052565449 workType "article" @default.