Δ31 reals

DOI10.1016/0003-4843(82)90002-XzbMath0519.03039MaRDI QIDQ3669401

René David

Publication date: 1982

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

constructibilitysingletonO sharpgeneric extension of L

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (5)

On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ Some results on higher Suslin trees ⋮ Universally Baire sets and definable well-orderings of the reals ⋮ sets of reals ⋮ Projective Measure Without Projective Baire

This page was built for publication: Δ31 reals