Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037144689> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2037144689 abstract "A strong antidiamond principle (*c) is shown to be consistent with CH. This principle can be stated as a dichotomy: every P-ideal on omega-1 (i.e. an ideal that is sigma-directed under inclusion modulo finite) either has a closed unbounded subset of omega-1 locally inside of it, or else has a stationary subset of omega-1 orthogonal to it. We rely on Shelah's theory of parameterized properness for NNR iterations, and make a contribution to the theory with a method of constructing the properness parameter simultaneously with the iteration. Our handling of the application of the NNR iteration theory involves definability of forcing notions in third order arithmetic, analogous to Souslin forcing in second order arithmetic." @default.
- W2037144689 created "2016-06-24" @default.
- W2037144689 creator A5059525647 @default.
- W2037144689 date "2008-06-26" @default.
- W2037144689 modified "2023-09-27" @default.
- W2037144689 title "A strong antidiamond principle compatible with CH" @default.
- W2037144689 cites W1594288121 @default.
- W2037144689 hasPublicationYear "2008" @default.
- W2037144689 type Work @default.
- W2037144689 sameAs 2037144689 @default.
- W2037144689 citedByCount "0" @default.
- W2037144689 crossrefType "posted-content" @default.
- W2037144689 hasAuthorship W2037144689A5059525647 @default.
- W2037144689 hasConcept C10138342 @default.
- W2037144689 hasConcept C111472728 @default.
- W2037144689 hasConcept C114614502 @default.
- W2037144689 hasConcept C118615104 @default.
- W2037144689 hasConcept C121332964 @default.
- W2037144689 hasConcept C134306372 @default.
- W2037144689 hasConcept C136119220 @default.
- W2037144689 hasConcept C138885662 @default.
- W2037144689 hasConcept C162324750 @default.
- W2037144689 hasConcept C165464430 @default.
- W2037144689 hasConcept C182306322 @default.
- W2037144689 hasConcept C197115733 @default.
- W2037144689 hasConcept C202444582 @default.
- W2037144689 hasConcept C2776639384 @default.
- W2037144689 hasConcept C2778049214 @default.
- W2037144689 hasConcept C2779557605 @default.
- W2037144689 hasConcept C33923547 @default.
- W2037144689 hasConcept C54732982 @default.
- W2037144689 hasConcept C62520636 @default.
- W2037144689 hasConcept C65148605 @default.
- W2037144689 hasConcept C94375191 @default.
- W2037144689 hasConcept C97489613 @default.
- W2037144689 hasConceptScore W2037144689C10138342 @default.
- W2037144689 hasConceptScore W2037144689C111472728 @default.
- W2037144689 hasConceptScore W2037144689C114614502 @default.
- W2037144689 hasConceptScore W2037144689C118615104 @default.
- W2037144689 hasConceptScore W2037144689C121332964 @default.
- W2037144689 hasConceptScore W2037144689C134306372 @default.
- W2037144689 hasConceptScore W2037144689C136119220 @default.
- W2037144689 hasConceptScore W2037144689C138885662 @default.
- W2037144689 hasConceptScore W2037144689C162324750 @default.
- W2037144689 hasConceptScore W2037144689C165464430 @default.
- W2037144689 hasConceptScore W2037144689C182306322 @default.
- W2037144689 hasConceptScore W2037144689C197115733 @default.
- W2037144689 hasConceptScore W2037144689C202444582 @default.
- W2037144689 hasConceptScore W2037144689C2776639384 @default.
- W2037144689 hasConceptScore W2037144689C2778049214 @default.
- W2037144689 hasConceptScore W2037144689C2779557605 @default.
- W2037144689 hasConceptScore W2037144689C33923547 @default.
- W2037144689 hasConceptScore W2037144689C54732982 @default.
- W2037144689 hasConceptScore W2037144689C62520636 @default.
- W2037144689 hasConceptScore W2037144689C65148605 @default.
- W2037144689 hasConceptScore W2037144689C94375191 @default.
- W2037144689 hasConceptScore W2037144689C97489613 @default.
- W2037144689 hasLocation W20371446891 @default.
- W2037144689 hasOpenAccess W2037144689 @default.
- W2037144689 hasPrimaryLocation W20371446891 @default.
- W2037144689 hasRelatedWork W1965855115 @default.
- W2037144689 hasRelatedWork W2008407124 @default.
- W2037144689 hasRelatedWork W2012324030 @default.
- W2037144689 hasRelatedWork W2017003684 @default.
- W2037144689 hasRelatedWork W2028088280 @default.
- W2037144689 hasRelatedWork W2032792328 @default.
- W2037144689 hasRelatedWork W2087165462 @default.
- W2037144689 hasRelatedWork W2296392196 @default.
- W2037144689 hasRelatedWork W2489187663 @default.
- W2037144689 hasRelatedWork W2537596701 @default.
- W2037144689 hasRelatedWork W2757094516 @default.
- W2037144689 hasRelatedWork W2774366508 @default.
- W2037144689 hasRelatedWork W2783558516 @default.
- W2037144689 hasRelatedWork W2951257992 @default.
- W2037144689 hasRelatedWork W2963336690 @default.
- W2037144689 hasRelatedWork W2965064529 @default.
- W2037144689 hasRelatedWork W3022853188 @default.
- W2037144689 hasRelatedWork W3102183748 @default.
- W2037144689 hasRelatedWork W338689473 @default.
- W2037144689 hasRelatedWork W47874566 @default.
- W2037144689 isParatext "false" @default.
- W2037144689 isRetracted "false" @default.
- W2037144689 magId "2037144689" @default.
- W2037144689 workType "article" @default.