\(\Delta_ 1\)-definability

DOI10.1016/S0168-0072(96)00023-1zbMath0889.03042OpenAlexW4210398360MaRDI QIDQ1377911

Boban Velickovic, Sy-David Friedman

Publication date: 29 May 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00023-1

zbMATH Keywords

condensationcodingordinal definability

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Cites Work

• Proper forcing
• A functorial \(\pi ^ 1_ 2\) singleton
• A cardinal preserving immune partition of the ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Delta_ 1\)-definability