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

DOI10.1002/MALQ.19780241903MaRDI QIDQ3048825zbMATH OpenOpenAlexFDO

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)

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

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)