During the Notre Dame workshop on Vaught's Conjecture, Hjorth and Kechris asked which Borel equivalence relations can arise as the isomorphism relation for countable models of a first-order theory. In particular, they asked if the isomorphism relation can be essentially countable but not tame. We show this is not possible if the theory has uncountably many types.

We outline the Hrushovsk-Sokolović proof of Vaught's Conjecture for differentially closed fields, focusing on the use of dimensions to code graphs.

This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of mathematical logic. Connections between infinitary model theory and other branches of mathematical logic, and applications to algebra and algebraic geometry are both comprehensively explored.

Zoé Chatzidakis , David Marker , Amador Martin-Pizarro , Rahim Moosa , Sergei Starchenko Source: Notre Dame J. Formal Logic, Volume 54, Number 3-4, 277--277.

We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...) composition of LE-series and establish its basic properties, including the existence of compositional inverses. Various interesting subfields of the field of LE-series are also considered. (shrink)

In the paper Randomizations of Scattered Sentences, Keisler showed that if Martin’s axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is “yes”. It follows that the absolute Vaught conjecture holds if and only if every \-sentence with few separable randomizations has countably many countable models.

We prove that for every Scott set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.

1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

This article asks whether personal ventilators should be redistributed to maximize lives saved in emergency condition, like the COVID-19 pandemic. It begins by examining extant claims that items like ventilators are literally parts of their user’s bodies. Arguments in favor of incorporation for ventilators fail to show that they meet valid sufficient conditions to be body parts, but arguments against incorporation also fail to show that they fail to meet clearly valid necessary conditions. Further progress on this issue awaits clarification (...) of difficult normative, conceptual, and metaphysical questions about the possible boundaries of a person’s body. Rather than relying solely on incorporation arguments, we propose an argument against reallocation from widely accepted anti-discrimination principles. Possession of a personal ventilator is an obvious marker of disability identity; thus, reallocating ventilators from those that already possess them discriminates on the basis of a stigmatized trait – a paradigm case of presumptively wrongful discrimination. This discrimination claim, taken together with uncertainty about the bodily status of ventilators, yields a strong presumption against personal ventilator reallocation. (shrink)

Topics in Cognitive Science, Volume 13, Issue 1, Page 128-141, January 2021.

This article examines significant, yet apparently unnoticed sociolinguistic aspects of the common Sanskrit particle bhoḥ and its Prakrit equivalent bho, which are frequently used in respectful addresses in our literary sources. Its specific aim is to demonstrate the important connection between bhoḥ and members of the twice- born social classes, especially Brahmins, that pertained during a large period of early South Asian history. The major conclusion it draws is that, at least according to the normative Brahmanical view of this time, (...) both addressing others with the particle bhoḥ and being addressed by others with it marked a person as a member of an elite fraternity that was comprised exclusively of either twice-born men or speakers of Sanskrit. (shrink)

This study aimed to explore the role of two models of well-being in the prediction of psychological distress during the COVID-19 pandemic, namely PERMA and mature happiness. According to PERMA, well-being is mainly composed of five elements: positive emotions, engagement, relationships, meaning in life, and achievement. Instead, mature happiness is understood as a positive mental state characterized by inner harmony, calmness, acceptance, contentment, and satisfaction with life. Rooted in existential positive psychology, this harmony-based happiness represents the result of living in (...) balance between positive and negative aspects of one's life. We hypothesized that mature happiness would be a more prominent protective factor during the present pandemic than the PERMA composite. A total of 12,203 participants from 30 countries responded to an online survey including the Depression Anxiety Stress Scale (DASS-21), the PERMA-Profiler, and the Mature Happiness Scale-Revised (MHS-R). Confirmatory factor analyses indicated that PERMA and mature happiness were highly correlated, but nonetheless, they represented two separate factors. After controlling for demographic factors and country-level variables, both PERMA Well-being and MHS-R were negative predictors of psychological distress. Mature happiness was a better predictor of stress, anxiety, and general distress, while PERMA showed a higher prediction of depression. Mature happiness moderated the relation between the perceived noxious effects of the pandemic and all markers of distress (depression, anxiety, stress, and total DASS-21). Instead, PERMA acted as a moderator in the case of depression and stress. These findings indicate that inner harmony, according to the mature happiness theory, is an essential facet of well-being to be taken into consideration. The results of this study can also orient policies aimed to alleviate the negative effects of the pandemic on mental health through the promotion of well-being. (shrink)

We introduce a new method for building models of [Formula: see text], together with [Formula: see text] statements over [Formula: see text], by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only [Formula: see text]-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at [Formula: see text] known as [Formula: see text] holds together with [Formula: see text], thereby answering a well-known (...) question of Moore. This construction can be described as a finite-support weak forcing iteration with side conditions consisting of suitable graphs of sets of models with markers. The [Formula: see text]-preservation is accomplished through the imposition of copying constraints on the information carried by the condition, as dictated by the edges in the graph. (shrink)

Metacognition is associated with planning, monitoring, evaluating and repairing performance Designers of elearning systems can improve the quality of their environments by explicitly structuring the visual and interactive display of learning contexts to facilitate metacognition. Typically page layout, navigational appearance, visual and interactivity design are not viewed as major factors in metacognition. This is because metacognition tends to be interpreted as a process in the head, rather than an interactive one. It is argued here, that cognition and metacognition are part (...) of a continuum and that both are highly interactive. The tenets of this view are explained by reviewing some of the core assumptions of the situated and distribute approach to cognition and then further elaborated by exploring the notions of active vision, visual complexity, affordance landscape and cue structure. The way visual cues are structured and the way interaction is designed can make an important difference in the ease and effectiveness of cognition and metacognition. Documents that make effective use of markers such as headings, callouts, italics can improve students’ ability to comprehend documents and ‘plan’ the way they review and process content. Interaction can be designed to improve ‘the proximal zone of planning’ – the look ahead and apprehension of what is nearby in activity space that facilitates decisions. This final concept is elaborated in a discussion of how e-newspapers combine effective visual and interactive design to enhance user control over their reading experience. (shrink)

In this article, I examine the literature from three domains of cognitive development in the first years of life — mathematics, categorization and induction — to determine whether infants possess concepts that allow them explicitly to reason and make inferences about the objects and events in the world. To achieve this aim, I use the distinction between procedural and declarative knowledge as a marker for the presence of access consciousness. According to J.M. Mandler, infants' early concepts are represented as (...) accessible declarative knowledge. However, the evidence discussed in this article indicates that infants' early concepts are best depicted as procedural, perceptually-based knowledge that are inaccessible to consciousness. I conclude by speculating about the role of language development on the emergence of consciousness towards the end of the second year of life. (shrink)

This volume examines two main questions: What is linguistics about? And how do the results of linguistic theorizing bear on inquiry in related fields, particularly in psychology? The book develops views that depart from received wisdom in both philosophy and linguistics. With regard to questions concerning the subject matter, methodological goals, and ontological commitments of formal syntactic theorizing, it argues that the cognitive conception adopted by most linguists and philosophers is not the only acceptable view, and that the arguments in (...) its favor collapse under scrutiny. Nevertheless, as the book shows, a detailed examination of the relevant psycholinguistic results and computational models does support the claim that the theoretical constructs of formal linguistics are operative in real-time language comprehension. These constructs fall into two categories: mental phrase markers and mental syntactic principles. Both are indeed psychologically real, but in importantly different ways. The book concludes by drawing attention to the importance of the often-elided distinction between personal and subpersonal psychological states and processes, as well as the logical character of dispositional and occurrent states. By clarifying these concepts, particularly by reference to up-and-running psychological and computational models, the book yields a richer and more satisfying perspective on the psychological reality of language. (shrink)

Scientific thinkers tend to avoid the word spirituality. Those who use it often hold onto it as a marker for certain values which they feel strongly are important but which they cannot fully account for. This paper, written by a psychoanalyst, enquires whether there may be a place for such a concept, starting from the need to accommodate the existence of consciousness into the scientific world view. The author suggests that the accumulated experience of some religious traditions indicates the (...) existence of a structure to subjectivity which needs to be taken into account, and which is now being approached by developmental psychology and neuroscience. He suggests that two ways of conceiving the world may be called for and may both be valid: firstly, a revised form of scientific monism, and secondly a vision of the world as composed exclusively of subjects. The latter is, perhaps, the vision which the proponents of spirituality are intuitively glimpsing. (shrink)

Metacognition is associated with planning, monitoring, evaluating and repairing performance Designers of elearning systems can improve the quality of their environments by explicitly structuring the visual and interactive display of learning contexts to facilitate metacognition. Typically page layout, navigational appearance, visual and interactivity design are not viewed as major factors in metacognition. This is because metacognition tends to be interpreted as a process in the head, rather than an interactive one. It is argued here, that cognition and metacognition are part (...) of a continuum and that both are highly interactive. The tenets of this view are explained by reviewing some of the core assumptions of the situated and distribute approach to cognition and then further elaborated by exploring the notions of active vision, visual complexity, affordance landscape and cue structure. The way visual cues are structured and the way interaction is designed can make an important difference in the ease and effectiveness of cognition and metacognition. Documents that make effective use of markers such as headings, callouts, italics can improve students' ability to comprehend documents and 'plan' the way they review and process content. Interaction can be designed to improve 'the proximal zone of planning' - the look ahead and apprehension of what is nearby in activity space that facilitates decisions. This final concept is elaborated in a discussion of how e-newspapers combine effective visual and interactive design to enhance user control over their reading experience. (shrink)