Laver property
id:
laver-property-201-2332257
title:
Laver property
text:
In mathematical set theory, the Laver property holds between two models if they are not "too dissimilar", in the following sense. For M and N transitive models of set theory, N is said to have the Laver property over M if and only if for every function g ∈ M mapping ω to ω ∖ { 0 } such that g diverges to infinity, and every function f ∈ N mapping ω to ω and every function h ∈ M which bounds f , there is a tree T ∈ M such that each branch of T is bounded by h and for every n the n th level of T h
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Laver_property
date created:
date modified:
2015-02-24T11:17:27Z
main entity:
{"identifier":"Q25303788","url":"https://www.wikidata.org/entity/Q25303788"}
image:
fields total:
13
integrity:
13