We show that strongly compact cardinals and MM are sensitive to $\lambda$-closed forcings for arbitrarily large $\lambda$. This is done by adding ‘regressive' $\lambda$-Kurepa trees in either case. We argue that the destruction of regressive Kurepa trees requires a non-standard application of MM. As a corollary, we find a consistent example of an $\omega_2$-closed poset that is not forcing equivalent to any $\omega_2$-directed-closed poset.

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a single \-sentence \ that codes Kurepa trees to prove the following statements: The spectrum of \ is consistently equal to \ and also consistently equal to \\), where \ is weakly inaccessible.The amalgamation spectrum of \ is consistently equal to \ and \\), where again \ is weakly inaccessible. This is the first example of an \-sentence whose spectrum and amalgamation spectrum are consistently both (...) right-open and right-closed. It also provides a positive answer to a question in Souldatos :533–551, 2014).Consistently, \ has maximal models in finite, countable, and uncountable many cardinalities. This complements the examples given in Baldwin et al. :545–565, 2016) and Baldwin and Souldatos :444–452, 2019) of sentences with maximal models in countably many cardinalities.Consistently, \ and there exists an \-sentence with models in \, but no models in \. This relates to a conjecture by Shelah that if \, then any \-sentence with a model of size \ also has a model of size \. Our result proves that \ can not be replaced by \, even if \. (shrink)

By an ω1-tree we mean a tree of cardinality ω1 and height ω1. An ω1-tree is called a Kurepa tree if all its levels are countable and it has more than ω1 branches. An ω1-tree is called a Jech–Kunen tree if it has κ branches for some κ strictly between ω1 and 2ω1. A Kurepa tree is called an essential Kurepa tree if it contains no Jech–Kunen subtrees. A Jech–Kunen tree is called an essential Jech–Kunen tree if (...) it is no Kurepa subtrees. In this paper we prove that it is consistent with CH and 2ω1 #62; ω2 that there exist essential Kurepa trees and there are no essential Jech–Kunen trees, it is consistent with CH and 2ω1 #62; ω2 plus the existence of a Kurepa tree with 2ω1 branches that there exist essential Jech–Kunen trees and there are no essential Kurepa trees. In the second result we require the existence of a Kurepa tree with 2ω1 branches in order to avoid triviality. (shrink)

Monroe Eskew and \, 2016. https://mathoverflow.net/questions/217951/tree-properties-on-omega-1-and-omega-2) asked whether the tree property at \ implies there is no Kurepa tree. We prove that the tree property at \ is consistent with the existence of \-trees with as many branches as desired.

By an ω1 we mean a tree of power ω1 and height ω1. An ω1-tree is called a Kurepa tree if all its levels are countable and it has more than ω1 branches. An ω1-tree is called a Jech-Kunen tree if it has κ branches for some κ strictly between ω1 and $2^{\omega _1 }$ . In Sect. 1, we construct a model ofCH plus $2^{\omega _1 } > \omega _2$ , in which there exists a Kurepa tree (...) with not Jech-Kunen subtrees and there exists a Jech-Kunen tree with no Kurepa subtrees. This improves two results in [Ji1] by not only eliminating the large cardinal assumption for [Ji1, Theorem 2] but also handling two consistency proofs of [Ji1, Theorem 2 and Theorem 3] simultaneously. In Sect. 2, we first prove a lemma saying that anAxiom A focing of size ω1 over Silver's model will not produce a Kurepa tree in the extension, and then we apply this lemma to prove that, in the model constructed for Theorem 2 in [Ji1], there exists a Jech-Kunen tree and there are no Kurepa trees. (shrink)

A highly rigid Souslin tree T is constructed such that forcing with T turns T into a Kurepa tree. Club versions of previously known degrees of rigidity are introduced, as follows: for a rigidity property P, a tree T is said to have property P on clubs if for every club set C (containing 0), the restriction of T to levels in C has property P. The relationships between these rigidity properties for Souslin trees are investigated, and some (...) open questions are stated. (shrink)

In this paper we probe the possibilities of creating a Kurepa tree in a generic extension of a ground model of CH plus no Kurepa trees by an ω1-preserving forcing notion of size at most ω1. In Section 1 we show that in the Lévy model obtained by collapsing all cardinals between ω1 and a strongly inaccessible cardinal by forcing with a countable support Lévy collapsing order, many ω1-preserving forcing notions of size at most ω1 including all (...) ω-proper forcing notions and some proper but not ω-proper forcing notions of size at most ω1 do not create Kurepa trees. In Section 2 we construct a model of CH plus no Kurepa trees, in which there is an ω-distributive Aronszajn tree such that forcing with that Aronszajn tree does create a Kurepa tree in the generic extension. At the end of the paper we ask three questions. (shrink)

We are interested in the possible sets of cardinalities of branches of Kurepa trees in models of ZFC \ CH. In this paper we present a sufficient condition to be consistently the set of cardinalities of branches of Kurepa trees.

K.J. Devlin has extended Jensen's construction of a model ofZFC andCH without Souslin trees to a model without Kurepa trees either. We modify the construction again to obtain a model with these properties, but in addition, without Kurepa trees inccc-generic extensions. We use a partially defined ◊-sequence, given by a fine structure lemma. We also show that the usual collapse ofκ Mahlo toω 2 will give a model without Kurepa trees not only in (...) the model itself, but also inccc-extensions. (shrink)

We show it is consistent that there is a Souslin tree S such that after forcing with S, S is Kurepa and for all clubs $$C \subset \omega _1$$ C ⊂ ω 1, $$S\upharpoonright C$$ S ↾ C is rigid. This answers the questions in Fuchs (Arch Math Logic 52(1–2):47–66, 2013). Moreover, we show it is consistent with $$\diamondsuit $$ ♢ that for every Souslin tree T there is a dense $$X \subseteq T$$ X ⊆ T which does not (...) contain a copy of T. This is related to a question due to Baumgartner in Baumgartner (Ordered sets (Banff, Alta., 1981), volume 83 of NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., Reidel, Dordrecht-Boston, pp 239–277, 1982). (shrink)

We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $\kappa$, let ${\sf BC}_{\kappa}$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, $\neg{\sf BC}_{\aleph_1}$ is equivalent to the existence of a Kurepa tree of height $\aleph_1$. Using the connection of ${\sf BC}_{\kappa}$ with a generalization of Kurepa's Hypothesis, we obtain the following consistency results: 1. If it is consistent that there is a 1-inaccessible cardinal then (...) it is consistent that ${\sf BC}_{\aleph_1}$.2. If it is consistent that ${\sf BC}_{\aleph_1}$, then it is consistent that there is an inaccessible cardinal.3. If it is consistent that there is a 1-inaccessible cardinal with $\omega$ inaccessible cardinals above it, then $\neg{\sf BC}_{\aleph_{\omega}} + (\forall n < \omega){\sf BC}_{\aleph_n}$ is consistent.4. If it is consistent that there is a 2-huge cardinal, then it is consistent that ${\sf BC}_{\aleph_{\omega}}$.5. If it is consistent that there is a 3-huge cardinal, then it is consistent that ${\sf BC}_{\kappa}$ for a proper class of cardinals $\kappa$ of countable cofinality. (shrink)

We present a general framework for forcing on ω2 with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial segment. We give several examples of this type of forcing, including adding a function on ω2, adding a nonreflecting stationary subset of, and adding an ω1‐Kurepa tree.

The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$. A broad program in modern Set Theory is searching for strong forcing axioms beyond $\omega _1$. In other words, one would like to figure out the structural properties of taller initial segments of the universe. However, the classical techniques of forcing iterations seem unable to bypass the obstacles, as the resulting forcings axioms beyond $\omega _1$ have not thus far been strong enough! However, (...) with his celebrated work on generalised side conditions, I. Neeman introduced us to a novel paradigm to iterate forcings. In particular, he could, among other things, reprove the consistency of the Proper Forcing Axiom using an iterated forcing with finite supports. In 2015, using his technology of virtual models, Veličković built up an iteration of semi-proper forcings with finite supports, hence reproving the consistency of Martin’s Maximum, an achievement leading to the notion of a virtual model.In this thesis, we are interested in constructing forcing notions with finitely many virtual models as side conditions to preserve three uncountable cardinals. The thesis constitutes six chapters and three appendices that amount to 118 pages, where Section 1 is devoted to preliminaries, and Section 2 is a warm-up about the scaffolding poset of a proper forcing. In Section 3, we present the general theory of virtual models in the context of forcing with sets of models of two types, where we, e.g., define the “meet” between two virtual models and prove its properties.The main results are joint with Boban Veličković, and partly appeared in Guessing models and the approachability ideal, J. Math. Log. 21 (2021).Pure Side Conditions. In Section 4, we use two types of virtual models (countable and large non-transitive ones induced by a supercompact cardinal, which we call Magidor models) to construct our forcing with pure side conditions. The forcing covertly uses a third type of models that are transitive. We also add decorations to the conditions to add many clubs in the generic $\omega _2$. In contrast to Neeman’s method, we do not have a single chain, but $\alpha $ -chains, for an ordinal $\alpha $ with $V_\alpha \prec V_\lambda $. Thus, starting from suitable large cardinals $\kappa <\lambda $, we construct a forcing notion whose conditions are finite sets of virtual models described earlier. The forcing is strongly proper, preserves $\kappa $, and has the $\lambda $ -Knaster property. The relevant quotients of the forcing are strongly proper, which helps us prove strong guessing model principles. The construction is generalisable to a ${<}\mu $ -closed forcing, for any given cardinal $\mu $ with $\mu ^{<\mu }=\mu <\kappa $.The Iteration Theorem. In Section 5, we use the forcing with pure side conditions to iterate a subclass of proper and $\aleph _2$ -c.c. forcings and obtain a forcing axiom at the level of $\aleph _2$. The iterable class is closely related to Asperó–Mota’s forcing axiom for finitely proper forcings.Guessing Model Principles. Section 6 encompasses the main parts of the thesis. We prove the consistency of the guessing principle $\mathrm {GMP}^+(\omega _3,\omega _1)$ that states for any cardinal ${\theta \geq \omega _3}$, the set of $\aleph _2$ -sized elementary submodels M of $H(\theta )$, which are the union of an $\omega _1$ -continuous $\in $ -chain of $\omega _1$ -guessing, I.C. models is stationary in $\mathcal P_{\omega _3}(H(\theta ))$. The consistency and consequences of this principle are demonstrated in the following diagram. We also prove that one can obtain the above guessing models in a way that the $\omega _1$ -sized $\omega _1$ -guessing models remain $\omega _1$ -guessing model in any outer transitive model with the same $\omega _1$, and we denote this principle by $\rm{SGMP}^+(\omega_3,\omega_1)$.In the following diagram, $\mathrm{TP}$ stands for the tree property; $w\mathrm{KH}$ stands for the weak Kurepa Hypothesis; $\mathrm{MP}$ stands for Mitchell property, i.e., the approachability ideal is trivial modulo the nonstationary ideal; $\mathrm{AP}$ stands for the approachability property; $\mathrm {AMTP}(\kappa ^+)$ states that if $2^\kappa <\aleph _{\kappa ^+}$, then every forcing which adds a new subset of $\kappa ^+$ whose initial segments are in the ground model, collapses some cardinal $\leq 2^{\kappa }$. The dotted arrow denotes the relative consistency, while others are logical implications.Appendices. Appendix A includes merely the above diagram. Appendix B presents a proof of the Mapping Reflection Principle with finite conditions under $\mathrm {PFA}$. Appendix C contains open problems. Finally, the thesis’s bibliography consists of 42 items.Abstract prepared by Rahman MohammadpourE-mail: [email protected]: https://theses.hal.science/tel-03209264. (shrink)

This dissertation is a collection of three papers – “Knowing Oneself for Others,” “Stereotype Threat and the Value of Self-Knowledge,” and “Self-Knowledge, Epistemic Work, and Injustice” – in which I address the connections between self-knowledge production and social inequality. I explain, using a variety of contemporary political and cultural examples, that marginalized individuals are more likely to be required to know certain things about themselves than socially privileged individuals, especially about those aspects of their lives and identities which are essential (...) to their being marginalized. I argue that this should make us rethink our basic understanding of epistemic injustice, which is typically thought of as involving the prevention of marginalized individuals from producing knowledge. More specifically, in “Knowing Oneself for Others,” I introduce the notion of “compulsory self-disclosure,” a social phenomenon in which an individual is forced to reveal things about themselves, often in ways that further contribute to their oppression. “Stereotype Threat and the Value of Self-Knowledge” addresses how self-ignorance can actually be desirable for individuals facing stereotype threat, and I argue that treating stereotype threat as an epistemic injustice issue can actually harm rather than help individuals in certain cases. Finally, in “Self-Knowledge, Epistemic Work, and Injustice,” I assess the reasoning behind the assumption that marginalized people are self-ignorant; I argue that we need to appreciate the central role that epistemic work plays in self-knowledge production to understand why the standard assumption about marginalized self-ignorance is misguided. Ultimately, I would have us think of self-knowledge production as not just epistemic work but as work that is often emotionally difficult and even metaphysically transformative – coming to have self-knowledge in certain ways can quite literally change who you are. In light of this, the overarching aim of this work is to argue for there being an inextricable link between an individual’s knowledge of themselves and their social status, as well as to discourage readers from thinking of the production of self-knowledge as inherently desirable or as a wholly epistemic issue. (shrink)

Observing others in conversation is a common format for comprehending language, yet little work has been done to understand dialog comprehension. We tested whether overhearers use addressee backchannels as predictive cues for how to integrate information across speaker turns during comprehension of spontaneously produced collaborative narration. In Experiment 1, words that followed specific backchannels were recognized more slowly than words that followed either generic backchannels or pauses. In Experiment 2, we found that when the turn after the backchannel was a (...) continuation of the narrative, specific backchannels prompted the fastest verification of prior information. When the turn after was an elaboration, they prompted the slowest, indicating that overhearers took specific backchannels as cues to integrate preceding talk with subsequent talk. These findings demonstrate that overhearers capitalize on the predictive relationship between backchannels and the development of speakers’ talk, coordinating information across conversational roles. (shrink)

The discourse marker use of the word like is considered by many to be superfluously sprinkled into talk, a bad habit best avoided. But a comparison of the use of like in successive tellings of stories demonstrates that like can be anticipated in advance and planned into stories. In this way, like is similar to other words and phrases tellers recycle during story telling. The anticipation of like contrasted with the uses of other discourse markers such as oh, you know, (...) and well, which almost never re-occurred in similar locations across tellings. Um and uh did sometimes re-occur; these uses are contrasted with like. Although discourse markers are generally used on the fly to handle various issues that come up in coordinating talk as it unfolds, like can be used as an integral part of the story -a marked contrast to the prevalent idea that likes are speech tics. (shrink)

We explored the differential impact of auditory information and written contextual information on the recognition of verbal irony in spontaneous speech. Based on relevance theory, we predicted that speakers would provide acoustic disambiguation cues when speaking in situations that lack other sources of information, such as a visual channel. We further predicted that listeners would use this information, in addition to context, when interpreting the utterances. People were presented with spontaneously produced ironic and nonironic utterances from radio talk shows in (...) written or auditory form, with or without written contextual information. When the utterances were read without written contextual information, all utterances were rated as equally ironic. But when they were heard as opposed to read, or when they were presented in irony-biasing contexts, originally ironic utterances were rated as more sarcastic than originally nonironic utterances. This evidence suggests both acoustic and contextual information are used when inferring ironic intent in spontaneous speech, and validates previous manipulations of intonation in studies of irony understanding. (shrink)

Words like well, oh, and you know have long been observed and studied in spontaneous speech. With the proliferation of on-line dialogues, such as instant messaging between friends or back-and-forth postings at websites, there are increasing opportunities to observe them in spontaneous writing. In Experiment 1, the interpretation of discourse markers in on-line debates was compared to proposed functions of those markers identified in other settings. In Experiment 2, the use of discourse markers in spontaneous speech was compared to their (...) uses in spontaneous writing. Results support the conclusion that although they vary in frequency in spoken versus written domains, discourse markers are used similarly across domains, but with particular communicative functions that make them non-interchangeable. (shrink)

To generate empathy in the care of vulnerable older persons requires care providers to reflect critically on their care practices. Ethics education and training must provide them with tools to accomplish such critical reflection. It must also create a pedagogical context in which good care can be taught and cultivated. The care-ethics lab ‘sTimul’ originated in 2008 in Flanders with the stimulation of ethical reflection in care providers and care providers in training as its main goal. Also in 2008, sTimul (...) commenced the organization of empathy sessions as an attempt to achieve this goal by simulation. The empathy session is a practical and fairly straightforward way of working to provoke care providers and care providers in training to engage in ethical reflection. Characteristic of the empathy session in the care-ethics lab is the emphasis on experience as a basis for ethical reflection. (shrink)

Small talk plays a big role in conversational perception. In the study here, pairs of conversational participants engaged in three iterations of an ecologically valid task-break dialogue where the break was either small talk via videoconferencing or waiting the same amount of time with cameras and mics turned off. Small talk increased conversational participants’ enjoyment of conversations, their willingness to engage in future conversations with their addressees, and their actual engagement in unprompted conversations with their addressees. Dyads who were instructed (...) to engage in small talk conversation during breaks were approximately three and a half times more likely to have conversations in the sixty second unprompted conversation period at the end of the study compared to dyads whose cameras and mics were off during the earlier break periods. Reciprocity effects previously observed in audio-only and text-only communication were not observed in this study. The findings presented here demonstrate that not only can the positive influence of small talk be replicated and extended to videoconferencing interactions, but such talk can also lead to an increased desire for continued interactions with conversational partners. (shrink)

The COVID-19 pandemic has presented a global threat to physical and mental health worldwide. Research has highlighted adverse impacts of COVID-19 on wellbeing but has yet to offer insights as to how wellbeing may be protected. Inspired by developments in wellbeing science and guided by our own theoretical framework, we examined the role of various potentially protective factors in a sample of 138 participants from the United Kingdom. Protective factors included physical activity, tragic optimism, gratitude, social support, and nature connectedness. (...) Initial analysis involved the application of one-sample t-tests, which confirmed that wellbeing in the current sample was significantly lower compared to previous samples. Protective factors were observed to account for up to 50% of variance in wellbeing in a hierarchical linear regression that controlled for a range of sociostructural factors including age, gender, and subjective social status, which impact on wellbeing but lie beyond individual control. Gratitude and tragic optimism emerged as significant contributors to the model. Our results identify key psychological attributes that may be harnessed through various positive psychology strategies to mitigate the adverse impacts of hardship and suffering, consistent with an existential positive psychology of suffering. (shrink)

Bilingualism has been identified as a potential cognitive factor linked to delayed onset of dementia as well as boosting executive functions in healthy individuals. However, more recently, this claim has been called into question following several failed replications. It remains unclear whether these contradictory findings reflect how bilingualism is defined between studies, or methodological limitations when measuring the bilingual effect. One key issue is that despite the claims that bilingualism yields general protection to cognitive processes, studies reporting putative bilingual differences (...) are often focused on domain specific experimental paradigms. This study chose a broader approach, by considering the consequences of bilingualism on a wide range of cognitive functions within individuals. We utilised 19 measures of different cognitive functions commonly associated with bilingual effects, to form a “cognitive profile” for 215 non-clinical participants. We recruited Welsh speakers, who as a group of bilinguals were highly homogeneous, as means of isolating the bilingualism criterion. We sought to determine if such analyses would independently classify bilingual/monolingual participant groups based on emergent patterns driven by collected cognitive profiles, such that population differences would emerge. Multiple predictive models were trained to independently recognise the cognitive profiles of bilinguals, older adults and higher education attainment. Despite managing to successfully classify cognitive profiles based on age and education, the model failed to differentiate between bilingual and monolingual cognitive ability at a rate greater than that of chance. Repeated modelling using alternative definitions of bilingualism, and just the older adults, yielded similar results. In all cases then, using our “bottom–up” analytical approach, there was no evidence that bilingualism as a variable indicated differential cognitive performance – as a consequence, we conclude that bilinguals are not cognitively different from their monolingual counterparts, even in older demographics. We suggest that studies that have reported a bilingual advantage could well have confounded other key variables that may be driving reported advantages. We recommend that future research refine the machine learning methods used in this study to further investigate the complex relationship between bilingualism and cognition. (shrink)

This article discusses ways to operationalise the concept of culturally appropriate computer-mediated communication, utilising information systems (IS) development methodologies and adopting a postmodern and postcolonial perspective. By way of illustration, it describes progress on the participative development of the Ieramugadu Cultural Information System. This project is designed to develop and evaluate innovative procedures for elicitation, analysis, storage and communication of indigenous cultural heritage information. It is investigating culturally appropriate IS design techniques, multimedia approaches and ways to ensure protection of secret/sacred (...) information. Ethical issues are foregrounded. (shrink)

There has been little previous scholarship regarding the aims, options and impact of ethics education on residential care‐givers. This manuscript details findings from a pragmatic cluster trial evaluating the impact of three different approaches to ethics education. The focus of the article is on one of the interventions, an immersive simulation experience. The simulation experience required residential care‐givers to assume the profile of elderly care‐recipients for a 24‐hr period. The care‐givers were student nurses. The project was reviewed favourably by a (...) university ethics committee, and participants provided informed consent. Data from six postsimulation experience focus groups were analysed thematically and three themes were identified: the experience of vulnerability, dignity in care and the organisation of care. Findings suggest that the immersive simulation experience had a powerful immediate impact as participants described epiphanous insights relating to their care experiences. It is suggested that reflecting on and recording epiphanous events has the potential to sustain ethical care practices. Further research is required to evaluate the impact of different ethics education interventions in different cultural contexts. Exploration is also required regarding the meaning and significance of care epiphanies, those “most delicate and evanescent of moments,” for the sustainability of ethical care. (shrink)

Backchannel choices affect conversational development. Some backchannels invite interlocutors to continue to the next part of what they are saying and others invite them to elaborate on what they have just said. We tested how communicative modality (audiovisual, audio, text), environmental setting (wholly in-lab, partially in the wild), and conversational goals (on-task, off-task) influenced backchannel usage by participants. We found that backchannel production depends on modality, setting, and goals. For example, we found that specific backchannels played a more prominent role (...) in self-motivated dialogue. Knowledge of how backchannels are used has both theoretical and practical implications. (shrink)

In cases of identity crowding, a subject consciously sees items in a figure, even though they are presented too closely together for her to shift attention to each item. Block uses such cases to challenge the view that attention is necessary for consciousness. I argue that in identity crowding cases, subjects really do attend to the items. Specifically, they attend to the figure as a global object that contains the individual items as parts. To support this view, I provide evidence (...) that attention can be directed to a global object or a local object. My response helps to defend the view that attention is necessary for conscious perception. (shrink)

We investigate the extent to which structures consisting of sequences of forests on the same underlying set are well-quasi-ordered under embeddings.

Craft food and beverage makers regularly emphasize transparency about the ethical, sustainable sourcing of their ingredients and the human labour underpinning their production, all of which helps elevate the status of their products and occupational communities. Yet, as with other niche ethical consumption markets, craft industries continue to rely on employment conditions for agricultural workers that reproduce inequalities of race, class, and citizenship in the dominant food system. This paper interrogates the contradiction between the exaltation of craft cidermakers’ labour and (...) the devaluation of farmworker labour by assessing how craft beverage actors make sense of inequalities facing manually skilled agricultural workers. Through a focus on the emerging craft cider industry, this paper draws on in-depth interviews and ethnographic data with a range of urban and rural cider actors in the Pacific Northwest (British Columbia, Oregon, and Washington State). I find that actors in the craft cider industry engage with inequalities affecting farmworkers through three main patterns: (1) Justifications of the status quo; (2) Supply chain fog; and (3) Misgiving/critique. By using an analytical framework that integrates critical agrarianism and the politics of sight, this study provides insights into both barriers and opportunities to redistribute social recognition and material rewards across food supply chains. (shrink)