Condensation lemma
id:
condensation-lemma-315-8281265
title:
Condensation lemma
text:
In set theory, a branch of mathematics, the condensation lemma is a result about sets in the
constructible universe. It states that if X is a transitive set and is an elementary submodel of some level of the constructible hierarchy Lα, that is, ≺ , then in fact there is some ordinal β ≤ α such that X = L β . More can be said: If X is not transitive, then its transitive collapse is equal to some L β , and the hypothesis of elementarity can be weakened to elementarity only for formulas which are Σ
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Condensation_lemma
date created:
date modified:
2024-03-04T19:46:49Z
main entity:
{"identifier":"Q5159176","url":"https://www.wikidata.org/entity/Q5159176"}
image:
fields total:
13
integrity:
13