cofinal

Except for very odd languages, the set of all expressions within the language in which some given expression occurs as a constituent is one of many cofinal sets of expressions, so (Fall) follows from

Compositionality Szabó, Zoltán Gendler 2007

The meaning of an expression is determined by the meanings of all expressions within any cofinal set of expressions.

Compositionality Szabó, Zoltán Gendler 2007

The heart of Werning's argument is Theorem 14 from Hodges (2001), which states that a meaning assignment to a cofinal set of expressions that satisfies (H) has a unique extension to a meaning assignment to all expressions that satisfies (H),

Compositionality Szabó, Zoltán Gendler 2007

The cofinality of S is the minimum cardinality of its cofinal subsets, or, what is pretty much the same thing, the minimum order type of its cofinal subsets.

The Universe of Discourse 2008

But the cofinality of ω + 1 is only 1 (because the subset {ω} is cofinal), as is the confinality of any successor ordinal.

The Universe of Discourse 2008

But the cofinality of ω + 1 is only 1 (because the subset {ω} is cofinal), as is the confinality of any successor ordinal.

Planet Haskell 2008

The cofinality of S is the minimum cardinality of its cofinal subsets, or, what is pretty much the same thing, the minimum order type of its cofinal subsets.

Planet Haskell 2008

Assume that the set of all observation sentences is cofinal within a reasonably large fragment of a natural language and that the meaning of an observation sentence is identical to its stimulus meaning ” (Fcofinal) ensures then that the meanings of all the words are determined within our fragment.

Compositionality Szabó, Zoltán Gendler 2007

Then ωω is uncountable, but has cofinality ω, since it contains a countable cofinal subset {ω

The Universe of Discourse 2008

Then ωω is uncountable, but has cofinality ω, since it contains a countable cofinal subset {ω

Planet Haskell 2008