GENERIC CODING WITH HELP AND AMALGAMATION FAILURE

DOI10.1017/jsl.2019.68OpenAlexW3092059186MaRDI QIDQ5021920

Dan Hathaway, Sy-David Friedman

Publication date: 17 January 2022

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

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

zbMATH Keywords

forcingconstructibilityinner modelsmodels of set theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (2)

Applying generic coding with help to uniformizations ⋮ Set-theoretic blockchains

Cites Work

• Unnamed Item
• Disjoint Borel functions
• Eventually different functions and inaccessible cardinals
• Set-theoretic blockchains
• Adjoining dominating functions
• Ordinal definability in Jensen's model
• Unbounded and dominating reals in Hechler extensions

This page was built for publication: GENERIC CODING WITH HELP AND AMALGAMATION FAILURE