<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=2001%3A5C0%3A1000%3AB%3A0%3A0%3A0%3A19A1</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=2001%3A5C0%3A1000%3AB%3A0%3A0%3A0%3A19A1"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/2001:5C0:1000:B:0:0:0:19A1"/>
	<updated>2026-04-30T10:26:37Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Real_estate_bubble&amp;diff=9722</id>
		<title>Real estate bubble</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Real_estate_bubble&amp;diff=9722"/>
		<updated>2014-01-30T01:16:56Z</updated>

		<summary type="html">&lt;p&gt;2001:5C0:1000:B:0:0:0:19A1: /* Recent real estate bubbles */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;In [[semantics|linguistic semantics]], an expression X is said to have &#039;&#039;&#039;cumulative reference&#039;&#039;&#039; if and only if the following holds:  If X is true of both of &#039;&#039;a&#039;&#039; and &#039;&#039;b&#039;&#039;, then it is also true of the combination of &#039;&#039;a&#039;&#039; and &#039;&#039;b&#039;&#039;.  Example:  If two separate entities can be said to be &amp;quot;water&amp;quot;, then combining them into one entity will yield more &amp;quot;water&amp;quot;. If two separate entities can be said to be &amp;quot;a house&amp;quot;, their combination cannot be said to be &amp;quot;a house&amp;quot;.  Hence, &amp;quot;water&amp;quot; has cumulative reference, while the expression  &amp;quot;a house&amp;quot; does not. The [[english plural|plural]] form &amp;quot;houses&amp;quot;, however, &#039;&#039;does&#039;&#039; have cumulative reference.  If two (groups of) entities are both &amp;quot;houses&amp;quot;, then their combination will still be &amp;quot;houses&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
Cumulativity has proven relevant to the linguistic treatment of the [[mass noun|mass/count]] distinction and for the characterization of grammatical [[telicity]].&lt;br /&gt;
&lt;br /&gt;
Formally, a cumulativity predicate &#039;&#039;CUM&#039;&#039; can be defined as follows, where capital &#039;&#039;X&#039;&#039; is a [[Variable (mathematics)|variable]] over [[set (mathematics)|sets]], &#039;&#039;U&#039;&#039; is the [[universe of discourse]], &#039;&#039;p&#039;&#039; is a [[mereology|mereological]] part [[mathematical structure|structure]] on &#039;&#039;U&#039;&#039;, and &amp;lt;math&amp;gt;\oplus_p&amp;lt;/math&amp;gt; is the [[mereology|mereological]] sum operation.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;&amp;lt;math&amp;gt;&lt;br /&gt;
(\forall X\subseteq U_p)(CUM(X)\iff \exists x,y(X(x) \wedge X(y) \wedge x\neq y) \wedge \forall x,y(X(x) \wedge X(y) \Rightarrow X(x \oplus_p y)))&lt;br /&gt;
&amp;lt;/math&amp;gt;&amp;lt;/center&amp;gt;&lt;br /&gt;
&lt;br /&gt;
In later work, Krifka has generalized the notion to &#039;&#039;n&#039;&#039;-ary predicates, based on the phenomenon of &#039;&#039;cumulative quantification&#039;&#039;.  For example, the two following sentences appear to be equivalent:&lt;br /&gt;
: John ate an apple and Mary ate a pear.&lt;br /&gt;
: John and Mary ate an apple and a pear.&lt;br /&gt;
&lt;br /&gt;
This shows that the relation &amp;quot;eat&amp;quot; is cumulative. In general, an &#039;&#039;n&#039;&#039;-ary predicate &#039;&#039;R&#039;&#039; is &#039;&#039;cumulative&#039;&#039; if and only if the following holds:&lt;br /&gt;
&amp;lt;center&amp;gt;&lt;br /&gt;
&amp;lt;math&amp;gt;&lt;br /&gt;
(\forall x_1,\ldots, x_n, y_1,\ldots, y_n)(R(x_1, \ldots,x_n)\wedge R(y_1, \ldots,y_n)) \rightarrow R(x_1\oplus y_1, \ldots,x_n\oplus y_n)&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;/center&amp;gt;  &lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
[[Manfred Krifka|Krifka, Manfred]] (1989). &amp;quot;Nominal reference, temporal constitution and quantification in event semantics&amp;quot;.&lt;br /&gt;
In Renate Bartsch, Johan van Benthem and Peter van Emde Boas (eds.), &#039;&#039;Semantics and Contextual Expressions&#039;&#039; 75-115. Dordrecht: [[Foris]].&lt;br /&gt;
&lt;br /&gt;
Krifka, Manfred. 1999. &amp;quot;At least some determiners aren’t determiners&amp;quot;. In &#039;&#039;The semantics/pragmatics interface from different points of view&#039;&#039;, ed. K. Turner, 257–291. North-Holland: [[Elsevier]] Science.&lt;br /&gt;
&lt;br /&gt;
Scha, Remko. 1981. &amp;quot;Distributive, collective, and cumulative quantification&amp;quot;. In &#039;&#039;Formal methods in the study of language&#039;&#039;, ed. T. Janssen and M. Stokhof, 483–512. Amsterdam: [[Mathematical Centre Tracts]].&lt;br /&gt;
&lt;br /&gt;
[[Category:Grammar]]&lt;br /&gt;
[[Category:Semantics]]&lt;/div&gt;</summary>
		<author><name>2001:5C0:1000:B:0:0:0:19A1</name></author>
	</entry>
</feed>