A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let ε denote the structure of the computably enumerable sets under inclusion, $\varepsilon = (\{W_e\}_{e\in \omega}, \subseteq)$ . We previously exhibited a first order ε-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has (...) a certain "slowness" property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A ∈ ε there exists B in the orbit of A such that X ≤ T B under relative Turing computability (≤ T ). We produce B using the Δ 0 3 -automorphism method we introduced earlier. (shrink)

It has often been observed that color is a highly preferred attribute for use in distinguishing descriptions, that is, referring expressions produced with the purpose of identifying an object within a visual scene. However, most of these observations were based on visual displays containing only colors that were maximally different in hue and for which the language of experimentation possessed basic color terms. The experiments described in this paper investigate whether speakers’ preference for color is reduced if the color of (...) the target referent is similar to that of the distractors. Because colors that look similar are often also harder to distinguish linguistically, we also examine the impact of the codability of color values. As a third factor, we investigate the salience of available alternative attributes and its impact on the use of color. The results of our experiments show that, while speakers are indeed less likely to use color when the colors in a display are similar, this effect is mostly due to the difficulty in naming similar colors. Color use for color with a basic color term is affected only when the colors of target and distractors are very similar. The salience of our alternative attribute size, manipulated by varying the difference in size between target and distractors, had no impact on the use of color. (shrink)

It has often been observed that color is a highly preferred attribute for use in distinguishing descriptions, that is, referring expressions produced with the purpose of identifying an object within a visual scene. However, most of these observations were based on visual displays containing only colors that were maximally different in hue and for which the language of experimentation possessed basic color terms. The experiments described in this paper investigate whether speakers’ preference for color is reduced if the color of (...) the target referent is similar to that of the distractors. Because colors that look similar are often also harder to distinguish linguistically, we also examine the impact of the codability of color values. As a third factor, we investigate the salience of available alternative attributes and its impact on the use of color. The results of our experiments show that, while speakers are indeed less likely to use color when the colors in a display are similar, this effect is mostly due to the difficulty in naming similar colors. Color use for color with a basic color term is affected only when the colors of target and distractors are very similar (yet still distinguishable). The salience of our alternative attribute size, manipulated by varying the difference in size between target and distractors, had no impact on the use of color. (shrink)

Social media is changing social accountability practices. The release of the Panama Papers on April 3, 2016 by the International Consortium of Investigative Journalists (ICIJ) unleashed a tsunami of over 5 million tweets decrying corrupt politicians and tax-avoiding business elites, calling for policy change from governments, and demanding accountability from corporate and private tax avoiders. The current study uses 297,000+ original English-language geo-codable tweets with the hashtags #PanamaGate, #PanamaPapers, or #PanamaLeaks to examine the trajectory of Twitter-based social accountability conversations and (...) the potential for the emergence of a longer-term social accountability user network. We propose that it is the combination of financial inscriptions and evaluative ethical utterances that incite and sustain social accountability conversations and social accountability networks. Financial inscriptions simultaneously remind audiences of both the information event that fomented the initial public reaction and the monetary magnitude of the event. Value-based ethical messaging, in turn, enunciates an ethical stance that simultaneously evaluates existing practices and emphasizes the need for accountability. It is the combining of these two types of messaging that helps to construct and sustain a normative narrative about social accountability. The results illustrate how the repetition and re-working of these two forms of messaging facilitated the construction of a normative narrative that coalesced into a social accountability network which persisted beyond the initial Panama Paper information event and which was re-activated in 2017 when the ICIJ published the Paradise Papers. (shrink)

A review of the literature indicates that linear models are frequently used in situations in which decisions are made on the basis of multiple codable inputs. These models are sometimes used normatively to aid the decision maker, as a contrast with the decision maker in the clinical vs statistical controversy, to represent the decision maker "paramorphically" and to "bootstrap" the decision maker by replacing him with his representation. Examination of the contexts in which linear models have been successfully employed indicates (...) that the contexts have the following structural characteristics in common: each input variable has a conditionally monotone relationship with the output; there is error of measurement; and deviations from optimal weighting do not make much practical difference. These characteristics ensure the success of linear models, which are so appropriate in such contexts that random linear models may perform quite well. 4 examples involving the prediction of such codable output variables as GPA and psychiatric diagnosis are analyzed in detail. In all 4 examples, random linear models yield predictions that are superior to those of human judges. (shrink)

The focus of much sensory language research has been on vocabulary and codability, not how language is used in communication of sensory perceptions. We make a case for discourse-oriented research about sensory language as an alternative to the prevailing vocabulary orientation. To consider the language of sound in authentic textual data, we presented participants with 20 everyday sounds of unknown sources and asked them to describe the sounds in as much detail as possible, as if describing them to someone (...) who could not hear them. We explored how the participants use language to describe these sounds. Do they describe their listening experiences (stressful), sound properties (intermittent beeping), and/or the events that caused the sounds (eating an apple)? The results show that out of these three soundscape elements, events are the most frequent and most indispensable element. We let the results from the study illustrate the need for more discursive data in studies of sensory language and argue that there is no designated language of sound. Our study highlights that in order to account for sensory language use, we need an analytical framework that accommodates discursive language in a non-trivial way beyond stable couplings between individual words and meanings. (shrink)

The tradeoff hypothesis in the speech–gesture relationship claims that (a) when gesturing gets harder, speakers will rely relatively more on speech, and (b) when speaking gets harder, speakers will rely relatively more on gestures. We tested the second part of this hypothesis in an experimental collaborative referring paradigm where pairs of participants (directors and matchers) identified targets to each other from an array visible to both of them. We manipulated two factors known to affect the difficulty of speaking to assess (...) their effects on the gesture rate per 100 words. The first factor, codability, is the ease with which targets can be described. The second factor, repetition, is whether the targets are old or new (having been already described once or twice). We also manipulated a third factor, mutual visibility, because it is known to affect the rate and type of gesture produced. None of the manipulations systematically affected the gesture rate. Our data are thus mostly inconsistent with the tradeoff hypothesis. However, the gesture rate was sensitive to concurrent features of referring expressions, suggesting that gesture parallels aspects of speech. We argue that the redundancy between speech and gesture is communicatively motivated. (shrink)

Earlier work on literal motion has shown that English and Turkish belong to typologically distinct classes of languages, with English speakers paying greater linguistic attention to the manner dimension of motion events (e.g., Özçalişkan and Slobin 1999a, 2003). As a further step, this article investigates whether typological differences hold true for the metaphorical extensions of motion events. Thus, the article compares two types of languages with regard to their lexicalization patterns in encoding metaphorical motion events: (1) verb-framed languages (or V-languages, (...) represented by Turkish), in which the preferred pattern for framing motion events is the use of a path verb with an optional manner adjunct (e.g., enter running), and (2) satellite-framed languages (S-languages, represented by English), in which path is lexicalized in an element associated with the verb, leaving the verb free to encode manner (e.g., run in). The analysis of written texts and elicited responses in the two languages shows clear typological contrast, with English speakers encoding manner of motion in their metaphorical descriptions more frequently and extensively than Turkish speakers, using a variety of linguistic devices (e.g., verbs, adverbials). Overall, the results indicate that the degree of codability of a semantic dimension in a lexical item (i.e., motion verb) has a spillover effect on the choice of other lexical items in a sentence, suggesting the conceptual salience of this dimension for its speakers. This effect is observable in both the literal and the metaphorical uses of the lexicon. (shrink)

We define certain properties of subsets of models of arithmetic related to their codability in end extensions and elementary end extensions. We characterize these properties using some more familiar notions concerning cuts in models of arithmetic.

This thesis divides naturally into two parts, each concerned with the extent to which the theory of $L$ can be changed by forcing.The first part focuses primarily on applying generic-absoluteness principles to how that definable sets of reals enjoy regularity properties. The work in Part I is joint with Itay Neeman and is adapted from our paper Happy and mad families in $L$, JSL, 2018. The project was motivated by questions about mad families, maximal families of infinite subsets of $\omega (...) $ of which any two have only finitely many members in common. We begin, in the spirit of Mathias, by establishing a strong Ramsey property for sets of reals in the Solovay model, giving a new proof of Törnquist’s theorem that there are no infinite mad families in the Solovay model.In Chapter 3 we stray from the main line of inquiry to briefly study a game-theoretic characterization of filters with the Baire Property.Neeman and Zapletal showed, assuming roughly the existence of a proper class of Woodin cardinals, that the boldface theory of $L$ cannot be changed by proper forcing. They call their result the Embedding Theorem, because they conclude that in fact there is an elementary embedding from the $L$ of the ground model to that of the proper forcing extension. With a view toward analyzing mad families under $\mathsf {AD}^+$ and in $L$ under large-cardinal hypotheses, in Chapter 4 we establish triangular versions of the Embedding Theorem. These are enough for us to use Mathias’s methods to show that there are no infinite mad families in $L$ under large cardinals and that $\mathsf {AD}^+$ implies that there are no infinite mad families. These are again corollaries of theorems about strong Ramsey properties under large-cardinal assumptions and $\mathsf {AD}^+$, respectively. Our first theorem improves the large-cardinal assumption under which Todorcevic established the nonexistence of infinite mad families in $L$. Part I concludes with Chapter 5, a short list of open questions.In the second part of the thesis, we undertake a finer analysis of the Embedding Theorem and its consistency strength. Schindler found that the the Embedding Theorem is consistent relative to much weaker assumptions than the existence of Woodin cardinals. He defined remarkable cardinals, which can exist even in L, and showed that the Embedding Theorem is equiconsistent with the existence of a remarkable cardinal. His theorem resembles a theorem of Harrington–Shelah and Kunen from the 1980s: the absoluteness of the theory of $L$ to ccc forcing extensions is equiconsistent with a weakly compact cardinal. Joint with Itay Neeman, we improve Schindler’s theorem by showing that absoluteness for $\sigma $ -closed $\ast $ ccc posets—instead of the larger class of proper posets—implies the remarkability of $\aleph _1^V$ in L. This requires a fundamental change in the proof, since Schindler’s lower-bound argument uses Jensen’s reshaping forcing, which, though proper, need not be $\sigma $ -closed $\ast $ ccc in that context. Our proof bears more resemblance to that of Harrington–Shelah than to Schindler’s.The proof of Theorem 6.2 splits naturally into two arguments. In Chapter 7 we extend the Harrington–Shelah method of coding reals into a specializing function to allow for trees with uncountable levels that may not belong to L. This culminates in Theorem 7.4, which asserts that if there are $X\subseteq \omega _1$ and a tree $T\subseteq \omega _1$ of height $\omega _1$ such that X is codable along T, then $L$ -absoluteness for ccc posets must fail.We complete the argument in Chapter 8, where we show that if in any $\sigma $ -closed extension of V there is no $X\subseteq \omega _1$ codable along a tree T, then $\aleph _1^V$ must be remarkable in L.In Chapter 9 we review Schindler’s proof of generic absoluteness from a remarkable cardinal to show that the argument gives a level-by-level upper bound: a strongly $\lambda ^+$ -remarkable cardinal is enough to get $L$ -absoluteness for $\lambda $ -linked proper posets.Chapter 10 is devoted to partially reversing the level-by-level upper bound of Chapter 9. Adapting the methods of Neeman, Hierarchies of forcing axioms II, we are able to show that $L$ -absoluteness for $\left |\mathbf {R}\right |\cdot \left |\lambda \right |$ -linked posets implies that the interval $[\aleph _1^V,\lambda ]$ is $\Sigma ^2_1$ -remarkable in L.prepared by Zach Norwood.E-mail: [email protected]. (shrink)

The present study investigates the semantics of a dozen basic smell terms in Indonesian using data from a large corpus of written register. Examining how these smell terms lexicalize some odors but not others raises questions that are central to our understanding of the language of olfaction. How are smell terms structured? What does the structure of smell terms tell us about human behavior? By applying cluster analysis, the present study reveals that the Indonesian odor lexicon is structured based on (...) one dimension correlating with pleasantness. The large dataset of a written corpus enables the present study to reveal the differences in lexicalization and frequency: Indonesian smell terms have more negative types but more positive tokens in texts. This novel approach to investigating smell terms allows us to take a step closer toward our goal of understanding olfactory vocabulary, as data on token frequency are difficult to obtain in studies of minority languages. This key finding supports the Pollyanna Hypothesis: people tend to use positive words more often than negative words, but the negative words convey more information. (shrink)