On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)

DOI10.1002/malq.19780241903zbMath0414.03032OpenAlexW2057115855MaRDI QIDQ3048825

Petr Hájek, Bohuslav Balcar

Publication date: 1978

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780241903

zbMATH Keywords

semilatticesCohen realsdegree of constructibilityreal degreesScott equivalence classwell- orderable degrees

Mathematics Subject Classification ID

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

Related Items

Applications of iterated perfect set forcing ⋮ The life and work of Bohuslav Balcar (1943--2017) ⋮ Set-theoretic blockchains ⋮ Lattice initial segments of the hyperdegrees ⋮ Forcing and reducibilities. III. Forcing in fragments of set theory

This page was built for publication: On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)