A guide to ``Strong coding
From MaRDI portal
Publication:1096624
DOI10.1016/0168-0072(87)90058-3zbMath0634.03049OpenAlexW2003848928MaRDI QIDQ1096624
Publication date: 1987
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(87)90058-3
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)
Related Items (1)
This page was built for publication: A guide to ``Strong coding
