Initial segments of the degrees of constructibility (Q1109767)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Initial segments of the degrees of constructibility |
scientific article; zbMATH DE number 4070885
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Initial segments of the degrees of constructibility |
scientific article; zbMATH DE number 4070885 |
Statements
Initial segments of the degrees of constructibility (English)
0 references
1988
0 references
This paper defines the notion of (countable) algebraic lattices; as a special case, well founded lattices or complete linear orderings are algebraic. It is shown that for every constructible countable algebraic lattice \({\mathcal L}\) there is a generic extension M of L (the constructible universe) such that the degrees of constructibility of the reals in M form a lattice isomorphic to \({\mathcal L}\). Examples are given of complete but non-algebraic lattices which cannot be realized in this way.
0 references
algebraic lattices
0 references
constructible universe
0 references
degrees of constructibility
0 references