Regular musical activity as a complex multimodal lifestyle activity is proposed to be protective against age-related cognitive decline and Alzheimer’s disease. This cross-sectional study investigated the association and interplay between musical instrument playing during life, multi-domain cognitive abilities and brain morphology in older adults from the DZNE-Longitudinal Cognitive Impairment and Dementia Study study. Participants reporting having played a musical instrument across three life periods were compared to controls without a history of musical instrument playing, well-matched for reserve proxies of education, (...) intelligence, socioeconomic status and physical activity. Participants with musical activity outperformed controls in global cognition, working memory, executive functions, language, and visuospatial abilities, with no effects seen for learning and memory. The musically active group had greater gray matter volume in the somatosensory area, but did not differ from controls in higher-order frontal, temporal, or hippocampal volumes. However, the association between gray matter volume in distributed frontal-to-temporal regions and cognitive abilities was enhanced in participants with musical activity compared to controls. We show that playing a musical instrument during life relates to better late-life cognitive abilities and greater brain capacities in OA. Musical activity may serve as a multimodal enrichment strategy that could help preserve cognitive and brain health in late life. Longitudinal and interventional studies are needed to support this notion. (shrink)

Pope John Paul II bestowed upon St. Thomas Aquinas the accolade of Doctor Humanitatis, or Doctor of Humanity, because he was ready to affirm the good or value of culture wherever it is to be found. Thomas is a teacher for our time because of his assertions on the dignity of the human person and the use of his reason.. This collection of papers explores the various philosophical and theological aspects of the thought of both Thomas Aquinas and (...) class='Hi'>John Paul II pertaining to this theme of teacher of humanity. The topics discussed here include the political praxis of Karol Wojtyla; Gadamer on common sense; prudence and subsidiarity; embodied cognition; the knowledge of God; the commandment of love; Pope Francis on the Beatitudes; the new evangelization; Thomism and modern cosmology; and the challenges of transhumanism and gender ideology. The papers were presented at a conference held in Houston, Texas, USA, in 2013, cosponsored by the Center for Thomistic Studies, the John Paul II Forum, and the Pontifical Academy of St. Thomas Aquinas. This work will help to realize in its small way the hopes of Saint John Paul II concerning St. Thomas Aquinas: It is to be hoped that now and in the future there will be those who continue to cultivate this great philosophical and theological tradition [of Aquinas] for the good of both the Church and humanity. Additionally, it will undoubtedly be of interest to all participants in the cultivation of the thought of Thomas Aquinas and John Paul II, and the dialogue between Thomism and the modern world. (shrink)

A type analysable in one-based types in a simple theory is itself one-based.

We generalize Frécon’s construction of the inevitable radical to groups in stable and even simple theories.

A couple may have a child to provide stem cells for another child. They may also use preimplantation testing—even, troubling though it is, prenatal testing and selective abortion—to ensure a close tissue match.

We study hyperdefinable groups, the most general kind of groups interpretable in a simple theory. After developing their basic theory, we prove the appropriate versions of Hrushovski's group quotient theorem and the Weil–Hrushovski group chunk theorem. We also study locally modular hyperdefinable groups and prove that they are bounded-by-Abelian-by-bounded. Finally, we analyze hyperdefinable groups in supersimple theories.

A totally ordered group G is essentially periodic if for every definable non-trivial convex subgroup H of G every definable subset of G is equal to a finite union of cosets of subgroups of G on some interval containing an end segment of H; it is coset-minimal if all definable subsets are equal to a finite union of cosets, intersected with intervals. We study definable sets and functions in such groups, and relate them to the quasi-o-minimal groups introduced in Belegradek (...) et al. . Main results: An essentially periodic group G is abelian; if G is discrete, then definable functions in one variable are ultimately piecewise linear. A group such that every model elementarily equivalent to it is coset-minimal is quasi-o-minimal , and its definable functions in one variable are piecewise linear. (shrink)

We pose and resolve several vexing decision theoretic puzzles. Some are variants of existing puzzles, such as 'Trumped' (Arntzenius and McCarthy 1997), 'Rouble trouble' (Arntzenius and Barrett 1999), 'The airtight Dutch book' (McGee 1999), and 'The two envelopes puzzle' (Broome 1995). Others are new. A unified resolution of the puzzles shows that Dutch book arguments have no force in infinite cases. It thereby provides evidence that reasonable utility functions may be unbounded and that reasonable credence functions need not be countably (...) additive. The resolution also shows that when infinitely many decisions are involved, the difference between making the decisions simultaneously and making them sequentially can be the difference between riches and ruin. Finally, the resolution reveals a new way in which the ability to make binding commitments can save perfectly rational agents from sure losses. (shrink)

The following theorems are proved about the Frattini-free componentG Φ of a soluble stable ℜ-group: a) If it has a normal subgroupN with nilpotent quotientG Φ/N, then there is a nilpotent subgroupH ofG Φ withG Φ=NH. b) It has Carter subgroups; if the group is small, they are all conjugate. c) Nilpotency modulo a suitable Frattini-subgroup (to be defined) implies nilpotency. The last result makes use of a new structure theorem for the centre of the derivative of the Frattini-free component (...) of a centreless soluble ℜ-group. (shrink)

The major stakeholder classes in education have three distinct ways by which they judge the quality of knowledge claims. At times this can cause considerable distraction or mis-communication among stakeholders.

Wind, water, and molten rock constantly tear apart and resculpt the natural world we live in, and people have always struggled to create structures that will permanently establish their existence on the land. Frank Golhke has committed his camera lens to documenting that fraught relationship between people and place, and this retrospective collection of his work by John Rohrbach reveals how people carve out their living spaces in the face of constant natural disruption. An acclaimed master of landscape (...) photography, Golhke explores in Accommodating Nature how people configure the places where they live, work, and commune, both on an everyday level and in the aftermath of catastrophic destruction. Whether a ranch house anchored fast on an endless Texas plain, the shattered buildings and whipped trees left by a category 5 tornado, or the jagged cliffs of ash and rock created by the volcanic eruption of Mount St. Helens, the photographs unearth the ways in which new homes and lives emerge from the fragments of the old. Thought-provoking essays by Rebecca Solnit, Frank Gohlke, and John Rohrbach expand upon the issues raised by the images, contemplating the complexities of human and cultural geography and the relationships we have with our respective place. An arresting and vibrant visual essay combining magnificent vistas with intimate emotional detail, Accommodating Nature exposes the intricate threads that bind our lives to the land surrounding us. (shrink)

We define an R-group to be a stable group with the property that a generic element (for any definable transitive group action) can only be algebraic over a generic. We then derive some corollaries for R-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are R-groups.

We define an $\mathfrak{R}$-group to be a stable group with the property that a generic element can only be algebraic over a generic. We then derive some corollaries for $\mathfrak{R}$-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are $\mathfrak{R}$-groups.

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...) Traditional logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

If K is a field of finite Morley rank, then for any parameter set $A \subseteq K^{eq}$ the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl( $\emptyset$ ).

A minimal field of non-zero characteristic is algebraically closed.

If * is a binary partial function which happens to be a group law on some infinite subset of some model of a stable theory, then this subset can be embedded into a definable group such that * becomes the group operation.

We show that a stable groupG satisfying certain commutator conditions is nilpotent. Furthermore, a soluble stable group with generically splitting automorphism of prime order is nilpotent-by-finite. In particular, a soluble stable group with a generic element of prime order is nilpotent-by-finite.

In this paper, we shall survey results about the group-theoretic properties of stable groups. These can be classified into three main categories, according to the strength of the assumptions needed: chain conditions, generic types, and some form of rank. Each category has its typical application: Chain conditions often allow us to deduce global properties from local ones, generic properties are used to get definable groups from undefinable ones, and rank is necessary to interpret fields in certain group actions. While originally (...) the main input came from algebraic group theory, founded on the similarities between rank and dimension, increasingly methods borrowed from finite group theory have come to play a rôle, emphasizing the study of characteristic subgroups and characteristic families of subgroups. (shrink)

Si C est une pseudo-variété, alors un groupe supersimple résiduellement C est nilpotent-par-poly-C. If C is a pseudo-variety, then a supersimple residually C group is nilpotent-by-poly-C.

An infinite field with only countably many pure types is algebraically closed.

We define the notion of generic for an arbitrary subgroup H of a stable group, and show that H has a definable hull with the same generic properties. We then apply this to the theory of stable fields.

We define a notion of genericity for genericity subgroups of groups interpretable in a simple theory. and show that a type generic for such a group is generic for the minimal hyperdefinable supergroup (the definable hull). In particular, at least one generic type of the definable hull is finitely satisfiable in the original subgroup. If the subgroup is a subfield, then the additive and the multiplicative definable hull both have bounded index in the smallest hyperdefinable superfield.

An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.

We define a reasonably well-behaved class of ultraimaginaries, i.e. classes modulo [Formula: see text]-invariant equivalence relations, called tame, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple ultraimaginaries: If [Formula: see text] is an ultraimaginary definable over a tuple [Formula: see text] with [Formula: see text], then [Formula: see text] is eliminable up to rank [Formula: see text]. Finally, we prove some uniform versions of the weak canonical base property.

We generalise various properties of quasiendomorphisms from groups with regular generic to small abelian groups. In particular, for a small abelian group such that no infinite definable quotient is connected-by-finite, the ring of quasi-endomorphisms is locally finite. Under some additional assumptions, it decomposes modulo some nil ideal into a sum of finitely many matrix rings.

We define a generalized version of CM-triviality, and show that in the presence of enough regular types, or solubility, a stable CM-trivial group is nilpotent-by-finite. A torsion-free small CM-trivial stable group is abelian and connected. The first result makes use of a generalized version of the analysis of bad groups.

The concept of the "locus of control" is one of the most influential in all of the psychological sciences. Initially proposed by Julian Rotter in 1966, the year 2016 marks the 50th anniversary of this remarkable breakthrough, subsequently inspiring thousands of research studies in the human sciences - research that has only served to deepen the utility of this amazing concept. Edited by John W. Reich and Frank J. Infurna, Perceived Control: Theory, Research, and Practice in the First (...) 50 Years commemorates this important anniversary by featuring contributions from leading figures of the time - some of whom were there at the very beginning of Rotter's breakthrough - to give readers a valuable historical record and measuring stick to illustrate how far we've come. Other contributors to this volume expertly present contemporary and cutting-edge summaries of the current state of our knowledge all while giving us a roadmap for future developments and directions. What have these developments revealed about basic human strengths and capacities? Why has this concept proven so remarkably effective in illuminating our everyday life in sickness and health? Perceived Control is a fascinating work that incorporates research from Rotter's original concept, and addresses many of the leading comparable concepts that have since evolved: self-efficacy, personal mastery, competence, primary and secondary control, and more specific topics such as health locus of control, learned helplessness, and other heuristic concepts discussed in many different fields of psychology and the allied disciplines. As Perceived Control skillfully attests, Rotter's work continues to thrive, leaving little doubt that its influence will endure for another half century of more. (shrink)

We prove that a stable solvable group $G$ which satisfies $x^n = 1$ generically is of finite exponent dividing some power of $n$. Furthermore, $G$ is nilpotent-by-finite. A second result is that in a stable group of finite exponent, involutions either have big centralisers, or invert a subgroup of finite index (which hence has to be abelian).

We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimension. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that a pseudofinite $\widetilde {\mathfrak M}_c$ -group of finite positive dimension contains a finite-by-abelian subgroup of positive dimension, and a pseudofinite group of dimension 2 contains a soluble subgroup of dimension 2.

We prove that a stable solvable group G which satisfies xn = 1 generically is of finite exponent dividing some power of n. Furthermore, G is nilpotent-by-finite. A second result is that in a stable group of finite exponent, involutions either have big centralisers, or invert a subgroup of finite index (which hence has to be abelian).

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Previous accounts of how people develop expertise have focused on how deliberate practice transforms the cognitive and perceptual representations and processes that give rise to expertise. However, the likelihood of developing expertise with a particular tool may also depend on the degree to which that tool fits pre‐existing perceptual and cognitive abilities. The present studies explored whether the abacus—a descendent of the first human computing devices—may have evolved to exploit general biases in human visual attention, or whether developing expertise with (...) the abacus requires learning special strategies for allocating visual attention to the abacus. To address this question, we administered a series of visual search tasks to abacus experts and subjects who had little to no abacus experience, in which search targets and distractors were overlaid atop abacus “beads.” Across three studies, we found that both experts and naïve subjects were faster to detect targets in semantically relevant components of the abacus, suggesting that abacus training is not required to exhibit attentional biases toward these components of the abacus. This finding suggests that the attentional biases that scaffold numerical processing of the abacus may emerge from general properties of visual attention that are exploited by the design of the abacus itself. (shrink)

If G is an omega-stable group with a normal definable subgroup H, then the Sylow-2-subgroups of G/H are the images of the Sylow-2-subgroups of G. /// Sei G eine omega-stabile Gruppe und H ein definierbarer Normalteiler von G. Dann sind die Sylow-2-Untergruppen von G/H Bilder der Sylow-2-Untergruppen von G.

We study local strengthenings of the simplicity condition. In particular, we define and study a local Lascar rank, as well as short, low, supershort and superlow theories. An example of a low, non supershort theory is given.