Analytic definability of constructive real numbers

DOI10.1007/BF01157914MaRDI QIDQ1159665zbMATH OpenFDO

Authors B. L. Budinas

Publication date 1980

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01157914

zbMATH Keywords

generic extension

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47)

Cites work

• Aspects of constructibility
• scientific article; zbMATH DE number 3636016 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)

This page was built for publication: Analytic definability of constructive real numbers

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