An explicit collapse for a dense filter
摘要
An explicit definition is given to a collapsing poset that is useful in constructing a model with a dense filter.