Analytic definability of constructive real numbers

DOI10.1007/BF01157914zbMath0475.03029MaRDI QIDQ1159665

B. L. Budinas

Publication date: 1980

Published in: Mathematical Notes (Search for Journal in Brave)

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
• Unnamed Item
• Unnamed Item

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