Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384807675> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4384807675 abstract "Assume ZF + AD + V=L(R). Let $[alpha,beta]$ be a $Sigma_1$ gap with $J_alpha(R)$ admissible. We analyze $J_beta(R)$ as a natural form of ``derived model'' of a premouse $P$, where $P$ is found in a generic extension of $V$. In particular, we will have $mathcal{P}(R)cap J_beta(R)=mathcal{P}(R)cap D$, and if $J_beta(R)models$``$Theta$ exists'', then $J_beta(R)$ and $D$ in fact have the same universe. This analysis will be employed in further work, yet to appear, toward a resolution of a conjecture of Rudominer and Steel on the nature of $(L(R))^M$, for $omega$-small mice $M$. We also establish some preliminary work toward this conjecture in the present paper." @default.
- W4384807675 created "2023-07-20" @default.
- W4384807675 creator A5088247102 @default.
- W4384807675 creator A5020972219 @default.
- W4384807675 date "2023-07-17" @default.
- W4384807675 modified "2023-09-26" @default.
- W4384807675 title "$Sigma_1$ gaps as derived models and correctness of mice" @default.
- W4384807675 doi "https://doi.org/10.48550/arxiv.2307.08856" @default.
- W4384807675 hasPublicationYear "2023" @default.
- W4384807675 type Work @default.
- W4384807675 citedByCount "0" @default.
- W4384807675 crossrefType "posted-content" @default.
- W4384807675 hasAuthorship W4384807675A5020972219 @default.
- W4384807675 hasAuthorship W4384807675A5088247102 @default.
- W4384807675 hasBestOaLocation W43848076751 @default.
- W4384807675 hasConcept C105795698 @default.
- W4384807675 hasConcept C11413529 @default.
- W4384807675 hasConcept C114614502 @default.
- W4384807675 hasConcept C121332964 @default.
- W4384807675 hasConcept C138268822 @default.
- W4384807675 hasConcept C154945302 @default.
- W4384807675 hasConcept C171606756 @default.
- W4384807675 hasConcept C199360897 @default.
- W4384807675 hasConcept C2776174256 @default.
- W4384807675 hasConcept C2778029271 @default.
- W4384807675 hasConcept C2778049214 @default.
- W4384807675 hasConcept C2779557605 @default.
- W4384807675 hasConcept C2780990831 @default.
- W4384807675 hasConcept C33923547 @default.
- W4384807675 hasConcept C41008148 @default.
- W4384807675 hasConcept C49453240 @default.
- W4384807675 hasConcept C55439883 @default.
- W4384807675 hasConcept C62520636 @default.
- W4384807675 hasConcept C64943373 @default.
- W4384807675 hasConcept C84999194 @default.
- W4384807675 hasConceptScore W4384807675C105795698 @default.
- W4384807675 hasConceptScore W4384807675C11413529 @default.
- W4384807675 hasConceptScore W4384807675C114614502 @default.
- W4384807675 hasConceptScore W4384807675C121332964 @default.
- W4384807675 hasConceptScore W4384807675C138268822 @default.
- W4384807675 hasConceptScore W4384807675C154945302 @default.
- W4384807675 hasConceptScore W4384807675C171606756 @default.
- W4384807675 hasConceptScore W4384807675C199360897 @default.
- W4384807675 hasConceptScore W4384807675C2776174256 @default.
- W4384807675 hasConceptScore W4384807675C2778029271 @default.
- W4384807675 hasConceptScore W4384807675C2778049214 @default.
- W4384807675 hasConceptScore W4384807675C2779557605 @default.
- W4384807675 hasConceptScore W4384807675C2780990831 @default.
- W4384807675 hasConceptScore W4384807675C33923547 @default.
- W4384807675 hasConceptScore W4384807675C41008148 @default.
- W4384807675 hasConceptScore W4384807675C49453240 @default.
- W4384807675 hasConceptScore W4384807675C55439883 @default.
- W4384807675 hasConceptScore W4384807675C62520636 @default.
- W4384807675 hasConceptScore W4384807675C64943373 @default.
- W4384807675 hasConceptScore W4384807675C84999194 @default.
- W4384807675 hasLocation W43848076751 @default.
- W4384807675 hasOpenAccess W4384807675 @default.
- W4384807675 hasPrimaryLocation W43848076751 @default.
- W4384807675 hasRelatedWork W1419571898 @default.
- W4384807675 hasRelatedWork W1520625068 @default.
- W4384807675 hasRelatedWork W2330450700 @default.
- W4384807675 hasRelatedWork W2999007559 @default.
- W4384807675 hasRelatedWork W3000713236 @default.
- W4384807675 hasRelatedWork W3101827008 @default.
- W4384807675 hasRelatedWork W3165479222 @default.
- W4384807675 hasRelatedWork W4312285938 @default.
- W4384807675 hasRelatedWork W4317942087 @default.
- W4384807675 hasRelatedWork W4320926309 @default.
- W4384807675 isParatext "false" @default.
- W4384807675 isRetracted "false" @default.
- W4384807675 workType "article" @default.