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)

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

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.

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

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

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 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)

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)

Non-$n$-ampleness as defined by Pillay [20] and Evans [5] is preserved under analysability. Generalizing this to a more general notion of $\Sigma$-ampleness, this gives an immediate proof for all simple theories of a weakened version of the Canonical Base Property (CBP) proven by Chatzidakis [4] for types of finite SU-rank. This is then applied to the special case of groups.

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 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.

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)

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.

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)

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.

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.

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.

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.

Let us say that a thing is gunky just in case every part of that thing has proper parts. The idea that all physical objects are gunky seems sufficiently sweeping, interesting, and plausible that it is worth examining. However, there is a difficulty. The features of an extended object can surely vary continuously. If an object is gunky then it cannot have point-sized parts which have no further parts. But how can one conceive of a continuous variation in features other (...) than as the obtaining of different features at different point sized locations? (shrink)

This book examines the many ethical issues that are encountered in the Pediatric Intensive Care Unit. It supports pediatricians, nurses, residents, and other providers in their daily management of critically ill children with the dilemmas that arise. It begins by examining the evolution of pediatric critical care, and who is now impacted by this advancing medical technology. Subsequent chapters explore specific ethical concerns and controversies that are commonly encountered. These topics include how to conduct end-of-life discussions with families facing a (...) myriad of challenging choices. It goes on to explore the concept of futility, and what that does and does not mean in the pediatric ICU setting. Controversial subjects such as children as organ donors, particularly using donation after cardiac death, in addition to issues surrounding the declaration of brain death are covered. Additional chapters address resource allocation, and also analyze the use of long-term technology in chronically critically ill children. Chapters include case examples with guidance on how to work through similar difficulties and decision-making. While this book is specifically targeted for care providers at the ICU bedside, it is also of benefit to medical students, students in bioethics, practicing ethical consultants and families who are dealing with critically ill children. (shrink)

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)

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).

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.

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.

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.

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$ ).

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)

This essay examines the political trials through which, according to Machiavelli's Discourses, republics should punish magistrates and prominent citizens who threaten or violate popular liberty. Unlike modern constitutions, which assign indictments and appeals to small numbers of government officials, Machiavelli's neo-Roman model encourages individual citizens to accuse corrupt or usurping elites and promotes the entire citizenry as political jury and court of appeal. Machiavellian political justice requires, on the one hand, equitable, legal procedures that serve all citizens by punishing guilty (...) parties and discouraging retaliatory reprisals, including foreign intervention. On the other hand, frankly acknowledging the power disparities that exist in every republic, Machiavelli outlines how political trials enable pro-plebeian magistrates and populist reformers to thwart patrician-generated smear campaigns and oligarchic conspiracies. (shrink)

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)

With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and tools are developed for (...) intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

Aristotelian commenters have long noted an apparent contradiction between what Aristotle says in Posterior Analytics I.2 and Physics I.1 about how we obtain first principles of a science. At Posterior 71b35–72a6, Aristotle states that what is most universal (καθόλου) is better-known by nature and initially less-known to us, while the particular (καθ’ ἕκαστον) is initially better-known to us, but less-known by nature. At Physics 184a21-30, however, Aristotle states that we move from what is better-known to us, which is universal (καθόλου), (...) to what is better-known absolutely, which is particular (καθ’ ἕκαστον). This paper turns to two of Aristotle’s most notable medieval commentators—Albertus Magnus and Thomas Aquinas—to resolve this apparent contradiction. The key to Thomas and Albert’s solutions, we will argue, is a twofold distinction between a sense-perceptive and scientific universal, and the particulars as sensed individuals and as differentiating attributes. Our Synthetic treatment of these distinctions contributes to the ongoing scholarly effort to understand the Stagyrite’s complex theory of knowledge. (shrink)

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

If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.

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)