NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON

DOI10.1017/JSL.2022.70arXiv2110.02733OpenAlexW4301397208MaRDI QIDQ6103449FDOQ6103449

Authors: Grigor Sargsyan 

Publication date: 5 June 2023

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We show that in extender models there are no generic embeddings with critical point $omeg{a}_1$ that resemble the stationary tower at the second Woodin cardinal.

Full work available at URL: https://arxiv.org/abs/2110.02733

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymouse

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Cites Work

• An outline of inner model theory
• Title not available (Why is that?)
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Title not available (Why is that?)
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Title not available (Why is that?)
• Comparison of fine structural mice via coarse iteration
• Homogeneously Suslin sets in tame mice
• The derived model theorem
• Title not available (Why is that?)
• Hod mice and the mouse set conjecture
• The self-iterability of L[E]
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Collapsing functions
• VARSOVIAN MODELS I
• Title not available (Why is that?)
• HODas a core model
• On the prewellorderings associated with the directed systems of mice
• Translation procedures in descriptive inner model theory

Cited In (1)

• On strength of precipitousness of some ideals and towers

This page was built for publication: NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103449)