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

DOI10.1002/MALQ.19780241903zbMATH Open0414.03032OpenAlexW2057115855MaRDI QIDQ3048825FDOQ3048825

Authors: 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)

Cited In (5)

• Set-theoretic blockchains
• Lattice initial segments of the hyperdegrees
• Applications of iterated perfect set forcing
• The life and work of Bohuslav Balcar (1943--2017)
• 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)

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