Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949208375> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2949208375 abstract "In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {em generic Muchnik reducibility} that can be used to to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of {em generic presentability}, the existence of a copy of the structure in every extension by a given forcing. We show that every forcing notion making $omega_2$ countable generically presents some countable structure with no copy in the ground model; and that every structure generically presentble by a forcing notion that does not make $omega_2$ countable has a copy in the ground model. We also show that any countable structure $mathcal{A}$ that is generically presentable by a forcing notion not collapsing $omega_1$ has a countable copy in $V$, as does any structure $mathcal{B}$ generically Muchnik reducible to a structure $mathcal{A}$ of cardinality $aleph_1$. The former positive result yields a new proof of Harrington's result that counterexamples to Vaught's conjecture have models of power $aleph_1$ with Scott rank arbitrarily high below $omega_2$. Finally, we show that a rigid structure with copies in all generic extensions by a given forcing has a copy already in the ground model." @default.
- W2949208375 created "2019-06-27" @default.
- W2949208375 creator A5029091662 @default.
- W2949208375 creator A5033772009 @default.
- W2949208375 creator A5048208997 @default.
- W2949208375 date "2014-05-29" @default.
- W2949208375 modified "2023-09-24" @default.
- W2949208375 title "Computable structures in generic extensions" @default.
- W2949208375 cites W1556189547 @default.
- W2949208375 cites W1969555173 @default.
- W2949208375 cites W1982606881 @default.
- W2949208375 cites W2010139654 @default.
- W2949208375 cites W2022962997 @default.
- W2949208375 cites W2034579698 @default.
- W2949208375 cites W2049191074 @default.
- W2949208375 cites W2142840306 @default.
- W2949208375 cites W2199810552 @default.
- W2949208375 cites W40029885 @default.
- W2949208375 hasPublicationYear "2014" @default.
- W2949208375 type Work @default.
- W2949208375 sameAs 2949208375 @default.
- W2949208375 citedByCount "1" @default.
- W2949208375 countsByYear W29492083752014 @default.
- W2949208375 crossrefType "posted-content" @default.
- W2949208375 hasAuthorship W2949208375A5029091662 @default.
- W2949208375 hasAuthorship W2949208375A5033772009 @default.
- W2949208375 hasAuthorship W2949208375A5048208997 @default.
- W2949208375 hasConcept C109214941 @default.
- W2949208375 hasConcept C110729354 @default.
- W2949208375 hasConcept C114614502 @default.
- W2949208375 hasConcept C118615104 @default.
- W2949208375 hasConcept C121332964 @default.
- W2949208375 hasConcept C124101348 @default.
- W2949208375 hasConcept C134306372 @default.
- W2949208375 hasConcept C142399903 @default.
- W2949208375 hasConcept C148070024 @default.
- W2949208375 hasConcept C151730666 @default.
- W2949208375 hasConcept C162838799 @default.
- W2949208375 hasConcept C197115733 @default.
- W2949208375 hasConcept C199360897 @default.
- W2949208375 hasConcept C2778029271 @default.
- W2949208375 hasConcept C2779343474 @default.
- W2949208375 hasConcept C2779557605 @default.
- W2949208375 hasConcept C2780990831 @default.
- W2949208375 hasConcept C2781424814 @default.
- W2949208375 hasConcept C33923547 @default.
- W2949208375 hasConcept C41008148 @default.
- W2949208375 hasConcept C62520636 @default.
- W2949208375 hasConcept C86803240 @default.
- W2949208375 hasConcept C87117476 @default.
- W2949208375 hasConceptScore W2949208375C109214941 @default.
- W2949208375 hasConceptScore W2949208375C110729354 @default.
- W2949208375 hasConceptScore W2949208375C114614502 @default.
- W2949208375 hasConceptScore W2949208375C118615104 @default.
- W2949208375 hasConceptScore W2949208375C121332964 @default.
- W2949208375 hasConceptScore W2949208375C124101348 @default.
- W2949208375 hasConceptScore W2949208375C134306372 @default.
- W2949208375 hasConceptScore W2949208375C142399903 @default.
- W2949208375 hasConceptScore W2949208375C148070024 @default.
- W2949208375 hasConceptScore W2949208375C151730666 @default.
- W2949208375 hasConceptScore W2949208375C162838799 @default.
- W2949208375 hasConceptScore W2949208375C197115733 @default.
- W2949208375 hasConceptScore W2949208375C199360897 @default.
- W2949208375 hasConceptScore W2949208375C2778029271 @default.
- W2949208375 hasConceptScore W2949208375C2779343474 @default.
- W2949208375 hasConceptScore W2949208375C2779557605 @default.
- W2949208375 hasConceptScore W2949208375C2780990831 @default.
- W2949208375 hasConceptScore W2949208375C2781424814 @default.
- W2949208375 hasConceptScore W2949208375C33923547 @default.
- W2949208375 hasConceptScore W2949208375C41008148 @default.
- W2949208375 hasConceptScore W2949208375C62520636 @default.
- W2949208375 hasConceptScore W2949208375C86803240 @default.
- W2949208375 hasConceptScore W2949208375C87117476 @default.
- W2949208375 hasLocation W29492083751 @default.
- W2949208375 hasOpenAccess W2949208375 @default.
- W2949208375 hasPrimaryLocation W29492083751 @default.
- W2949208375 hasRelatedWork W1558043875 @default.
- W2949208375 hasRelatedWork W1995164411 @default.
- W2949208375 hasRelatedWork W2008204459 @default.
- W2949208375 hasRelatedWork W2039209195 @default.
- W2949208375 hasRelatedWork W207680367 @default.
- W2949208375 hasRelatedWork W2107232728 @default.
- W2949208375 hasRelatedWork W2205640427 @default.
- W2949208375 hasRelatedWork W2342149294 @default.
- W2949208375 hasRelatedWork W2738711389 @default.
- W2949208375 hasRelatedWork W2778271082 @default.
- W2949208375 hasRelatedWork W2806262624 @default.
- W2949208375 hasRelatedWork W2835275266 @default.
- W2949208375 hasRelatedWork W2917349651 @default.
- W2949208375 hasRelatedWork W3016730452 @default.
- W2949208375 hasRelatedWork W3048800963 @default.
- W2949208375 hasRelatedWork W3090720394 @default.
- W2949208375 hasRelatedWork W3158773253 @default.
- W2949208375 hasRelatedWork W3166477158 @default.
- W2949208375 hasRelatedWork W992894137 @default.
- W2949208375 hasRelatedWork W2134347995 @default.
- W2949208375 isParatext "false" @default.
- W2949208375 isRetracted "false" @default.
- W2949208375 magId "2949208375" @default.
- W2949208375 workType "article" @default.