Condensation lemma
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 .
More can be said: If X is not transitive, then its transitive collapse is equal to some , and the hypothesis of elementarity can be weakened to elementarity only for formulas which are in the Lévy hierarchy.[1] Also, Devlin showed the assumption that X be transitive automatically holds when .[2]
The lemma was formulated and proved by Kurt Gödel in his proof that the axiom of constructibility implies GCH.
References
- Devlin, Keith (1984). Constructibility. Springer. ISBN 3-540-13258-9. (theorem II.5.2 and lemma II.5.10)
Inline citations
- v
- t
- e
- Axiom
- list
- Cardinality
- First-order logic
- Formal proof
- Formal semantics
- Foundations of mathematics
- Information theory
- Lemma
- Logical consequence
- Model
- Theorem
- Theory
- Type theory
and paradoxes
Traditional | |
---|---|
Propositional | |
Predicate |
|
| |
Types of sets |
|
---|---|
Maps and cardinality |
|
Set theories |
language and syntax
| |
Example axiomatic systems (list) |
---|
- Interpretation
- function
- of models
- Model
- equivalence
- finite
- saturated
- spectrum
- submodel
- Non-standard model
- Diagram
- Categorical theory
- Model complete theory
- Satisfiability
- Semantics of logic
- Strength
- Theories of truth
- T-schema
- Transfer principle
- Truth predicate
- Truth value
- Type
- Ultraproduct
- Validity
This set theory-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e