scientific article; zbMATH DE number 1390271

zbMath0939.03052arXivmath/9712273MaRDI QIDQ4934558

Sy-David Friedman

Publication date: 3 April 2000

Full work available at URL: https://arxiv.org/abs/math/9712273

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

forcinginner modelindiscerniblesJensen coding\(\Pi^1_2\) real singletonunique solution to a \(\Pi^1_2\) formula

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (2)

Universally Baire sets and definable well-orderings of the reals ⋮ Unnamed Item

This page was built for publication: