We prove that any torsion-free, residually finite relatively free group of infinite rank is not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} -homogeneous. This generalizes Sklinos’ result that a free group of infinite rank is not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} -homogeneous, and, in particular, gives a new simple proof of that result.

We prove that for any computable successor ordinal of the form α = δ + 2k there exists computable torsion-free abelian group that is relatively Δα0 -categorical and not Δα−10 -categorical. Equivalently, for any such α there exists a computable TFAG whose initial segments are uniformly described by Σαc infinitary computable formulae up to automorphism, and there is no syntactically simpler family of formulae that would capture these orbits. As far as we know, the problem of finding (...) such optimal examples of Δα0-categorical TFAGs for arbitrarily large α was first raised by Goncharov at least 10 years ago, but it has resisted solution 315–356]). As a byproduct of the proof, we introduce an effective functor that transforms a 0″-computable worthy labeled tree into a computable TFAG. We expect that this techni... (shrink)

The aim of UK-REACH (“The United Kingdom Research study into Ethnicity And COVID-19 outcomes in Healthcare workers”) is to understand if, how, and why healthcare workers (HCWs) in the United Kingdom (UK) from ethnic minority groups are at increased risk of poor outcomes from COVID-19. In this article, we present findings from the ethical and legal stream of the study, which undertook qualitative research seeking to understand and address legal, ethical, and social acceptability issues around data protection, privacy, and information (...) governance associated with the linkage of HCWs’ registration data and healthcare data. We interviewed 22 key opinion leaders in healthcare and health research from across the UK in two-to-one semi-structured interviews. Transcripts were coded using qualitative thematic analysis. Participants told us that a significant aspect of Big Data research in public health is varying drivers of mistrust—of the research itself, research staff and funders, and broader concerns of mistrust within participant communities, particularly in the context of COVID-19 and those situated in more marginalised community settings. However, despite the challenges, participants also identified ways in which legally compliant and ethically informed approaches to research can be crafted to mitigate or overcome mistrust and establish greater confidence in Big Data public health research. Overall, our research indicates that a “Big Data Ethics by Design” approach to research in this area can help assure (1) that meaningful community and participant engagement is taking place and that extant challenges are addressed, and (2) that any new challenges or hitherto unknown unknowns can be rapidly and properly considered to ensure potential (but material) harms are identified and minimised where necessary. Our findings indicate such an approach, in turn, will help drive better scientific breakthroughs that translate into medical innovations and effective public health interventions, which benefit the publics studied, including those who are often marginalised in research. (shrink)

Using criteria of relative plausibility, it is possible to make a case for significant group selection over the 100,000 years that Anatomically Modern Humans have been both moral and egalitarian. Our nomadic forebears surely lived in egalitarian communities that levelled social differences and moralistically curbed free-riding behaviour, and this egalitarian syndrome would have had profound effects on levels of selection. First, it reduced phenotypic variation at the within-group level. Second, it increased phenotypic variation at the between-group (...) level. Third, and crucially, moral sanctioning also permitted groups to sharply curtail free-riding tendencies at the level of phenotype. The result was group selection strong enough to support altruistic genes, and a human nature that was set up for social ambivalence: that nature was mainly selfish and strongly nepotistic, but it was at least modestly and socially significantly altruistic. The effects on human social and moral life were pervasive, both in hunting bands and in more recent manifestations of human society. (shrink)

Early versions of satellite and radiosonde datasets suggested that the tropical surface had warmed more than the troposphere, while climate models consistently showed tropospheric amplification of surface warming in response to human-caused increases in greenhouse gases. We revisit such comparisons here using new observational estimates of surface and tropospheric temperature changes. We find that there is no longer a serious discrepancy between modeled and observed trends in the tropics. Our results contradict a recent claim that all simulated temperature trends in (...) the tropical troposphere are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”.This emerging reconciliation of models and observations has two primary explanations. First, because of changes in the treatment of buoy and satellite information, new surface temperature datasets yield slightly reduced tropical warming relative to earlier versions. Second, recently developed satellite and radiosonde datasets now show larger warming of the tropical lower troposphere. In the case of a new satellite dataset from remote sensing systems, enhancedRSS warming is due to an improved procedure of adjusting for inter-satellite biases. When the RSS-derived tropospheric temperature trend is compared with four different observed estimates of surface temperature change, the surface warming is invariably amplified in the tropical troposphere, consistent with model results. Even if we use data from a second satellite dataset with smaller tropospheric warming than in remote sensing systems RSS, observed tropical lapse rates are not significantly different from those in all model simulations.Our results contradict a recent claim that all simulated temperature trends in the tropical troposphere and in tropical lapse rates are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”. (shrink)

Using state-of-the-art observational datasets and results from a large archive of computer model simulations, a consortium of scientists from 12 different institutions has resolved a long-standing conundrum in climate science—the apparent discrepancy between simulated and observed temperature trends in the tropics. Research published by this group indicates that there is no fundamental discrepancy between modeled and observed tropical temperature trends when one accounts for: the uncertainties in observations; and the statistical uncertainties in estimating trends from observations. These results refute (...) a recent claim that model and observed tropical temperature trends “disagree to a statistically significant extent”. This claim was based on the application of a flawed statistical test and the use of older observational datasets. (shrink)

The fact that genes and environment contribute differentially to variation in human behaviors, traits and attitudes is central to the field of behavior genetics. Perceptions about these differential contributions may affect ideas about human agency. We surveyed two independent samples (N = 301 and N = 740) to assess beliefs about free will, determinism, political orientation, and the relative contribution of genes and environment to 21 human traits. We find that lay estimates of genetic influence on these traits cluster (...) into four distinct groups, which differentially predict beliefs about human agency, political orientation, and religiosity. Despite apparent ideological associations with these beliefs, the correspondence between mean lay estimates and published heritability estimates for the surveyed traits is large (r = .77). Belief in genetic determinism emerges as a modest predictor of accuracy in these lay estimates. Additionally, educated mothers with multiple children emerge as particularly accurate in their estimates of the genetic contribution to these traits. (shrink)

It is proved that for a variety of groups in which the relatively free groups are solvable, the relatively free groups of distinct finite rank are not elementarily equivalent.

People construe reality by using words as basic units of meaningful categorization. The present theory-driven study applied the method of a free association task to explore how people express the concepts of the world and the self in words. The respondents were asked to recall any five words relating with the word world. Afterwards they were asked to recall any five words relating with the word self. The method of free association provided the respondents with absolute freedom to (...) choose any words they wanted. Such free recall task is suggested as being a relatively direct approach to the respondents’ self- and world-related conceptual categories, without enormous rational processing. The results provide us, first, with associative ranges for constructs of the world and the self, where some associative dimensions are defined by semantic polarities in the meanings of peripheral categories (e.g., Nature vs. Culture). Second, our analysis showed that some groups of verbal categories that were associated with the words world and self are central, while others are peripheral with respect to the central position. Third, the analysis of category networks revealed that some categories play the role of a transmitter, mediating the pathway between other categories in the network. (shrink)

During this period, when disciples were growing in number, a grievance arose on the part of those who spoke Greek, against those who spoke the language of the Jews; they complained that their widows were being overlooked in the daily distribution. When Americans think of ethnic conflict, conflict between blacks and whites comes to mind most immediately. Yet ethnic conflict is pervasive around the world. Azerbijanis and Turks in the Soviet Union; Catholics and Protestants in Northern Ireland; Arabs and Jews (...) in the Middle East; Maoris and English settlers in New Zealand; Muslims and Hindus in India and Pakistan; French and English speakers in Quebec; Africans, Afrikaaners, and mixed-race people in South Africa, in addition to the tribal warfare among the Africans themselves: these are just a few of the more obvious conflicts currently in the news. We observe an even more dizzying array of ethnic conflicts if we look back just a few years. Japanese and Koreans; Mongols and Chinese; Serbs and Croats; Christians and Buddhists in Viet Nam: these ancient antagonisms are not immediately in the news, but they could erupt at any time. And the history of the early Christian Church recounted in the Acts of the Apostles reminds us that suspicion among ethnic groups is not a modern phenomenon; rather, it is ancient. The present paper seeks to address the problem of ethnic conflict in modern western democracies. How can our tools and traditions of participatory governments, relatively free markets, and the common law contribute to some resolution of the ancient problems that we find within our midst? In particular, I want to focus here on the question of ethnic integration. (shrink)

During this period, when disciples were growing in number, a grievance arose on the part of those who spoke Greek, against those who spoke the language of the Jews; they complained that their widows were being overlooked in the daily distribution. When Americans think of ethnic conflict, conflict between blacks and whites comes to mind most immediately. Yet ethnic conflict is pervasive around the world. Azerbijanis and Turks in the Soviet Union; Catholics and Protestants in Northern Ireland; Arabs and Jews (...) in the Middle East; Maoris and English settlers in New Zealand; Muslims and Hindus in India and Pakistan; French and English speakers in Quebec; Africans, Afrikaaners, and mixed-race people in South Africa, in addition to the tribal warfare among the Africans themselves: these are just a few of the more obvious conflicts currently in the news. We observe an even more dizzying array of ethnic conflicts if we look back just a few years. Japanese and Koreans; Mongols and Chinese; Serbs and Croats; Christians and Buddhists in Viet Nam: these ancient antagonisms are not immediately in the news, but they could erupt at any time. And the history of the early Christian Church recounted in the Acts of the Apostles reminds us that suspicion among ethnic groups is not a modern phenomenon; rather, it is ancient. The present paper seeks to address the problem of ethnic conflict in modern western democracies. How can our tools and traditions of participatory governments, relatively free markets, and the common law contribute to some resolution of the ancient problems that we find within our midst? In particular, I want to focus here on the question of ethnic integration. (shrink)

Human rights belong to individuals in virtue of their common humanity. Yet it is an important question whether human rights entail or comport with the possession of what I call group-specific rights, or rights that individuals possess only because they belong to a particular group. The Universal Declaration of Human Rights says they do. Article 15 asserts the right to nationality, or citizenship. Unless one believes that the only citizenship compatible with a universal human rights regime is cosmopolitan (...) citizenship in a world state – a conception of citizenship that is not countenanced by the UDHR – one must interpret the human right to citizenship as a universal right to a particular group right. Other UN Conventions affirm the right of national minorities and indigenous people to cultural autonomy.[1] In these cases the right attributed to the group is understood as protecting an individually held human right to freedom of religion, association, or cultural expression. Because these individual rights are exercised collectively and exclusively, they ensure that individual members of a particular group have the freedom to act unhindered by outsiders. However, groups often view their right to freedom of religion, association, and cultural expression in an entirely different way. Not only do they wish that their individual members be free from outside interference but they wish to be freely self-determining as a group. That is, they wish to collectively define their own identity, including the identity of their individual members, according to the dominant views of the majority. This right to collective self-determination entitles a group to limit the full exercise of its members’ human right to act as they wish whenever the group determines that this exercise endangers the identity of the group. In these cases, the internal threat to the group’s cultural identity posed by the heterodox practices of its own members appears to be indistinguishable from the external threat to the group’s cultural autonomy posed by outsiders. I shall argue that groups are sometimes morally entitled to limit the exercise of their members' human rights under certain conditions.[2] In some respects the notion of limitation operant here is familiar to us from our own understanding of what liberal democratic societies legitimately demand of their citizens. No right – human or otherwise – is exercised unconditionally, since rights sometimes conflict with one another and their possession is contingent upon respecting the rights of others, which normally involves accepting some limitations on what may be said or done. Laws merely codify how the majority understands these limits. Also, many philosophers have argued that the meaning of human rights is far from settled, so that even a liberal democratic interpretation of rights of the sort that is contained in the first article of the UDHR is far from being universally accepted.[3] Leaving aside the possibility that human rights do not entail the extensive liberty associated with a liberal understanding of them,[4] I shall argue that groups can sometimes be morally justified to limit the expressive liberty of their individual members so long as they are both ontologically and morally legitimate and provide dissenters with reasonable opportunities for exit. [1] These include the Convention Concerning Indigenous and Tribal Peoples in Independent Countries and the Declaration of Rights of Persons Belonging to National or Ethnic, Religious or Linguistic Minorities. [2] Following Thomas Pogge, I regard human rights as claims that individuals raise against institutions that are supposed to guarantee them the conditions and resources necessary for leading a minimally decent human life. Because institutions are imperfect and fallible, assessing their compliance with human rights involves weighing their overall success along a number of variables which normally preclude simple judgments that fall into the either/or of fully satisfying or fully violating a human right. An institution may perform reasonably well in insuring that almost all of the persons on whom it is imposed are relatively successful in enjoying human right X but not human right Y; likewise, it may insure that some persons on whom it is imposed have greater success in enjoying a human right than others. [3] Article 1 states that “All human beings are born free and equal in dignity and rights.” This article can be given a distinctly liberal interpretation if “equal” is understood as “same” and “rights” are understood in to include political rights to equal participation in government and “freedom to manifest his religion or belief in teaching practice, worship, and observance” “in public or private”. [4] There has been an extensive debate over whether human rights, understood as claims that individuals raise against the social institutions that are imposed on them, reflect a conception of individual self-assertion that is universally valid for all societies or only for liberal societies that have embarked upon a Western course of modernization. Some, like John Rawls, have sought to circumvent this impasse by defining the list of universally valid human rights minimally, and in terms that do not imply robust notions of freedom and equality of the sort associated with the Western liberal constitutional tradition. (shrink)

The Poincaré group generalizes the Galilei group for high-velocity kinematics. The de Sitter group is assumed to go one step further, generalizing Poincaré as the group governing high-energy kinematics. In other words, ordinary special relativity is here replaced by de Sitter relativity. In this theory, the cosmological constant Λ is no longer a free parameter, and can be determined in terms of other quantities. When applied to the whole universe, it is able to predict the (...) value of Λ and to explain the cosmic coincidence. When applied to the propagation of ultra-high energy photons, it gives a good estimate of the time delay observed in extragalactic gamma-ray flares. It can, for this reason, be considered a new paradigm to approach the quantum gravity problem. (shrink)

Experimental philosophy has been engaged in many fields of philosophy and has tried to challenge philosophy from a new horizon. In this article, I have tried to examine what the role of sciences are in altering people’s intuition about free will. Could science educate people’s philosophical intuitions? If yes, should we still rely on their intuition as a rational instrument for our philosophical questions? Do science plus cultural and social differences effect on folks’ view? In this cross-cultural research, the (...) emphasis is mostly on recent breakthroughs on neuroscience and its impact on people’s perspective to free will. I have asked some questions about free will and determinism from two groups of Iranian and European participants. The results of this study revealed an interesting amount of cross-cultural similarities. The findings showed that people have a relatively independent view to free will and determinism. It seems that manipulating laymen’s opinion by either the idea of scientific determinism or living under pressure and challenging social conditions cannot touch their perspective. I tried to indicate that the techniques of experimental philosophy and the data offered might help us to learn more and more about the psychological processes, in the mind of the folks, that engender philosophical problems. (shrink)

A rigorous extension of the full Lorentz group is found which is parameterized by interframe velocities v(t) and which reduces to Special Relativity for acceleration-free cases and to Galilean relativity for low velocity cases. Full group properties are exhibited. Four-momentum is defined and particle masses are shown to be invariants. Four-force is introduced and pseudoforces are shown to enter the equations of particle dynamics. Maxwell's equations are shown to take on pseudocurrent terms in accelerating frames. A four-vector (...) Green function solution to the modified Maxwell equations is presented. Finally, a discussion is offered concerning philosophical questions such as the operational definition of time. (shrink)

In continuation of [JOH04, OH07], we prove that existentially closed CSA-groups have the independence property. This is done by showing that there exist words having the independence property relative to the class of torsion-free hyperbolic groups.

I note that the logics of the relevant group most closely tied to the research programme in paraconsistency are those without the contraction postulate(A.AB).AB and its close relatives. As a move towards gaining control of the contraction-free systems I show that they are prime (that wheneverA B is a theorem so is eitherA orB). The proof is an extension of the metavaluational techniques standardly used for analogous results about intuitionist logic or the relevant positive logics.

What general conclusions can be drawn about the reception of zymase, its relation to the larger shift from a protoplasm to an enzyme theory of life, and its status as a social phenomenon?The most striking and to me unexpected pattern is the close correlation between attitude toward zymase and professional background. The disbelief of the fermentation technologists, Will, Delbrück, Wehmer, and even Stavenhagen, was as sharp and unanimous as the enthusiasm of the immunologists and enzymologists, Duclaux, Roux, Fernback, and Bertrand, (...) and of Pfeffer, the experimental plant physiologist. Other skeptics—Voit, Kupffer, and Fischer—were conservatives in traditional fields. In all these cases it seems clear that professional commitments and outlook profoundly influenced the reception of zymase.In some cases there is a correlation with a specific earlier statement favoring the protoplasm theory or predicting a fermentation enzyme. Reynolds Green is a striking case of both. In 1893 he stated his belief that life processes in higher plants and fungi were identical, both being mediated by protoplasm.109 Thus he claimed that digestion was not carried out by enzymes, as in higher animals, but by the whole protoplasm, and so too fermentation in yeast: “All the metabolic processes must be carried out in the unicellular organism in the same mass of protoplasm.”110 But Green also insisted that there was no essential difference between “organized” and “unorganized ferments”; enzymes were simply more highly differentiated and specialized forms of primitive protoplasm. He spoke of “the alcoholic ferment” (that is, enzyme), and of intracellular enzymes—very advanced beliefs for 1893. Thus it is understandable why Green saw no reason to doubt his first negative results with yeast juice, and rushed into print. But it is also understandable that he persisted and soon became an outspoken advocate of Buchner's view; like Wroblewski and Pfeffer, he had already accepted the idea of an intracellular fermentation enzyme.The physiological chemists also fit the pattern in a special way. Physiological chemistry is generally regarded as the source of biochemistry; indeed, many early biochemists were trained in physiological chemistry, and imbibed there a progressive interest in enzymes and metabolism. It is not surprising, therefore, that on the whole Neumeister, Madfadyen, Wroblewski, and Loew accepted cell-free fermentation. But what is surprising, and significant, is the diversity of opinion in this group, from Abeles' living protoplasm to Wroblewski's organized array of active proteins. The feelings of the physiological chemists were mixed, and there was enough of the old protoplasm view in Macfadyen's and even Wroblewski's views to allow Buchner to see them as attacks on zymase. The ideas of physiological chemistry were also changing; the idea of protoplasm was already adjusting to the new interest in enzymes in the early 1890's. But in contrast to immunochemistry, the change in physiological chemistry was gradual, uneven, undramatic, and relatively invisible. For the new biochemistry, the tradition of physiological chemistry was the source of traditional conservatism as well as of new ideas of enzymes.In general, then, I claim that it was not experimental facts that determined attitudes toward zymase so much as previous commitments, experience, and expectations. Initially, at least, zymase was less a determinant of opinion than a touchstone of pre-existing opinion. Like a prism, it revealed the spectrum of existing attitudes toward vital phenomena.Also relevant here is the fact that the experimental evidence was entirely ambiguous; the interpretation of Buchner's experiments with antiseptics or dried yeast depended entirely on how far one was willing to stretch the scope of the terms “protoplasm” and “enzyme”. Likewise, how important one judged the instability of zymase to be, or the low level of in vitro activity, depended largely on one's point of view. There was no crucial experiment, no certain proof. Logically zymase could be regarded as protoplasm. A. Fischer did so in 1900;111 Macfadyen was still wavering in 1907;112 and Beijerinck was holding out as late as 1916.113 There were undoubtedly others. Besides the special case of Reynolds Green and the technologists, there are no recorded cases of conversion.But if there was no evidence to convert a dedicated protoplasmist, there was plenty to encourage a dedicated belief in the enzyme theory, and that, I believe, is precisely what happened. The arguments of Buchner et al in support of zymase had the greatest effect not on the protoplasmists but on those who were already predisposed toward the biochemical view. The zymase debate enabled the emerging group of biochemists to recognizethemselves as a group with a community of out-look and objectives; it brought the issue of protoplasm vs. enzyme into the open and gave it a specific and concrete issue on which to turn. The debate sharpened the biochemists' awareness that their point of view was becoming the new mainstream of biochemical thought.All this of course had an important secondary effect on those who opposed the new view, or who were not immediately concerned with it. After the zymase debate, it would have been almost impossible to ignore the new ideas; the dramatic and wide publicity the debate enjoyed would have made it difficult not to take sides. Buchner's successful defense of zymase itself became an important influence on opinion; the new movement had to be looked at with respect. But the primary effect of the debate, I assert, was on those who were already inclined to the new view. The outcome was not a mass conversion of individuals, nor the ejection of one idea by another. The sides probably did not change much; the real change was in the way each side regarded itself and its place in history. The zymase debate may perhaps best be regarded as a process of selection. Buchner's party became aware of itself as the new progressive point of view, while those holding the traditional view could no longer expound it publicly without appearing obstinate or old-fashioned. Thus the way was clear for the gradually wider establishment of the new ideas, especially among the new generation of biochemists. In this specific sense, the acceptance of zymase was a social phenomenon.This way of looking at the zymase debate also illuminates its coincidence with the emergence of biochemistry as a profession. The new professional trappings and organizations were the social manifestation of the new self-awareness gained from the zymase controversy. One of the most important effects on those disposed toward the new view was the awareness of an intellectual community and of the need to give that community social forms. The almost mythical importance of Buchner's “victory” over the old protoplasm theory that later became current is readily understandable. It was a useful ideology for a group anxious to assert the novelty of their approach, a novelty which they in fact felt quite keenly.But if the primary effect of the zymase controversy was on those predisposed to accept zymase, then obviously the success of zymase depended on the fact that change had already begun to occur. Indeed, one of the most striking, and again unexpected, results of this study is the extent to which the importance of enzymes was already recognized in the early 1890's. The new immunology clearly pointed the way. Macfadyen and Hans Buchner were looking for active proteins inside the cell in 1893. Reynolds Green, Wroblewski, and Pfeffer had all anticipated the discovery of a fermentation enzyme. Other discoveries in enzymology in the 1890's pointed the same way.114 Moreover, it is clear from this study that the old protoplams theory was adapting to the new discoveries concerning the importance of enzymes. The sidechains of the old protoplasm molecule were simply reinterpreted as enzymes, as in Wroblewski's theory, for example, or in Paul Ehrlich's extremely influential “sidechain theory” of antibody formation (1897). Despite the later views of Hopkins et al., the old protoplasm and the new enzyme theories were not irreconcilable; a continuity of development had already begun when zymase came so dramatically on the scene. Buchner himself observed that the difference between the two views had become largely verbal; in retrospect we might say, not verbal, but social and historical. The gap between the continuous change in ideas and the contemporary feeling of sharply discontnuous change is a measure of the elusive but real social and historical implications of the zymase debate, of the demise of an old establishment, and the emergence of a new.In retrospect, then, it is clear that a trend was already under way in various quarters when zymase appeared. But it was still a collection of isolated and dispersed events. The zymase controversy made the trend visible and gave it a dramatic unity. The debate influenced those who had already begun to change. It was so effective because things had begun to change and because it coincided with the direction of that trend. (shrink)

This philosophical anthropology tries to explore the basic categories of man’s being in the worlds using a special quantum meta-ontology that is introduced in the book. Quantum understanding of space and time, consciousness, or empirical/nonempirical reality elicits new questions relating to philosophical concerns such as subjectivity, free will, mind, perception, experience, dialectic, or agency. The authors have developed an inspiring theoretical framework transcending the boundaries of particular disciplines, e.g. quantum philosophy, metaphysics of consciousness, philosophy of mind, phenomenology of space (...) and time, and ontological relativity. (shrink)

A simple model, illustrating the transition from a population of free swimming, solitary cells to one consisting of small colonies serves as a basis to discuss the evolution of the cooperative group. The transition is the result of a mutation of the dynamics of cell division, delayed cell separation leads to colonies of four cells. With this mutation cooperative features appear, such as synchronised cell divisions within colonies and coordinated flagellar function which enables the colony to swim in (...) definite directions. The selective advantages under given, environmental conditions are defined and the periods necessary for complete allelic replacement in small populations are calculated for asexual and sexual reproduction. The assumption of a steady-state population during allelic substitution is critically considered, particularly under conditions of competition. It is shown that density-dependent population control must operate in the process of selection. Sexual reproduction slows down the rate of selection even though all cells dre haploid. This phenomenon can be explained in general terms of `organizational dominance', where individual units coordinate the function of their neighbours which may be of a different allelotype.Cooperativity is pointed out as an a priori systemic feature which resides in the sub-units of systems, group formation and coordination appears thus as an almost inevitable event. A particular type of system described as ‘closed cycle of positive fitness interaction’ is discussed in more detail. It has the remarkable feature that its members cannot compete with each other; selection takes place between whole cycles .Gonium has a wide spectrum of `somatic plasticity' which enables it to assume various colonial configurations depending on physiological and environmental conditions. This feature can be explained as the result of dynamic flexibilities on the macro-molecular level. The particular relationship between the vast, molecular complexity and the relative simple dynamics of the cell cycle must lead eventually to the genetic fixation of an environmentally induced phenotype. (shrink)

An Abelian group G is strongly λ -free iff G is L ∞, λ -equivalent to a free Abelian group iff the isomorphism player has a winning strategy in an Ehrenfeucht–Fraı̈ssé game of length ω between G and a free Abelian group. We study possible longer Ehrenfeucht–Fraı̈ssé games between a nonfree group and a free Abelian group. A group G is called ε -game-free if the isomorphism player has a (...) winning strategy in an Ehrenfeucht–Fraı̈ssé game of length ε between G and a free Abelian group. We prove in ZFC existence of nonfree ε -game-free groups for many successors of regular cardinals. We also show that the length of the game obtained is very close to the optimal length provable in ZFC alone. On the other hand, assuming existence of a Mahlo cardinal, we sketch a proof that it is consistent to have a very highly game-free still nonfree group. First we present an introduction to basic constructions and then we introduce some results concerning the standard tools for building more complicated groups, namely transversals and λ -systems. It follows that all the constructions generalize to algebras in a fixed variety satisfying the strong construction principle. (shrink)

We strengthen nonstructure theorems for almost free Abelian groups by studying long Ehrenfeucht–Fraı̈ssé games between a fixed group of cardinality λ and a free Abelian group. A group is called ε -game-free if the isomorphism player has a winning strategy in the game of length ε ∈ λ . We prove for a large set of successor cardinals λ = μ + the existence of nonfree -game-free groups of cardinality λ . We concentrate (...) on successors of singular cardinals. (shrink)

In this critical comment, we argue that nondemocratic, but decent regimes fail to constitute legitimate governance under Applbaum’s free group agency account. To make this case, we first introduce the three principles of liberty, equality and agency that Applbaum takes to flow directly from his free agency conception of legitimacy. Against this backdrop, we discuss Applbaum’s claim that a nondemocratic regime along the lines of a Rawlsian decent consultation hierarchy could meet the threshold of legitimacy. Contrary to (...) this suggestion, we argue that nondemocratic, but decent regimes cannot claim legitimacy under Applbaum’s account because they are constitutively inegalitarian, thus failing to adequately grant citizens the equal normative power without which legitimacy is unattainable under the free group agency account. (shrink)

Given an admissible indexing φ of the countable atomless Boolean algebra B, an automorphism F of B is said to be recursively presented (relative to φ) if there exists a recursive function $p \in \operatorname{Sym}(\omega)$ such that F ⚬ φ = φ ⚬ p. Our key result on recursiveness: Both the subset of $\operatorname{Aut}(\mathscr{B})$ consisting of all those automorphisms which are recursively presented relative to some indexing, and its complement, the set of all "totally nonrecursive" automorphisms, are uncountable. This arises (...) as a consequence of the following combinatorial investigations: (1) A comparison of the cycle structures of f and f̄, where f is a permutation of some free basis of B and f̄ is the automorphism of B induced by f. (2) An explicit description of the permutations of ω whose conjugacy classes in $\operatorname{Sym}(\omega)$ are (a) uncountable, (b) countably infinite, and (c) finite. (shrink)

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the (...) point of view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (shrink)

In this paper we give short proofs to the undecidability of the τ-theory for free groups and other relevant theories.

Write F(X) for the free group generated by X. We show that the statement for infinite sets is equivalent to the Axiom of Choice, whereas the statement is strictly weaker than the Axiom of Choice.

We study countable universes similar to a free action of a group G. It turns out that this is equivalent to the study of free semi-actions of G, with two universes being transformable iff one corresponding free semi-action can be obtained from the other by a finite alteration. In the case of a free group G (in finitely many or countably many generators), a classification is given.

We use hyperbolic towers to answer some model-theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_{0}$ but that there is a finitely generated model which omits $p^{}_{0}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous (...) groups is not necessarily homogeneous. (shrink)

We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.

We answer a question raised in [9], that is whether the infinite weight of the generic type of the free group is witnessed in F ω . We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not N₁-homogeneous.

International institutions are facing increasing criticism of the legitimacy of their authority. But what does it mean for an international institution to be legitimate? Arthur Applbaum’s latest book provides a convincing new concept of legitimacy, namely, the power-liability view, and a new normative conception, the free group agent account. However, it is not clear how they can be applied to the international level. First, this paper examines how different concepts of legitimacy can be applied to international institutions. Second, (...) it assesses three different conceptions of legitimacy, namely, the service conception, Applbaum’s free group agent account and the autonomy-based conception for the international level. It outlines how on the last conception, international institutions’ legitimacy depends on three different aspects required to protect autonomy: the political power of the institution; its purpose; and its relation to other institutions. Finally, the paper argues that the creation of an international institution should be seen as part of relational legitimacy and that state consent plays an important role to protect the political autonomy of peoples. (shrink)

Physics has often undermined the notion of free will, and philosophers have been concerned about this for many reasons. One is that freedom seems to be a necessary condition for moral responsibility. This chapter explains how special theory of relativity (STR) leads to the idea that there is no flow of time. It analyzes several proposals that reintroduce a classical view of time without violating relativity. The chapter suggests two ways in which the philosophy of science can add some (...) helpful perspective to the debate. It discusses how Einstein took gravity to be a geometric property of space time rather than a force and that general theory of relativity (GTR) conflicts with the Standard Model of particle physics. The chapter explains that there are several possible moves one might make in order to preserve a classical view of time. (shrink)

In this short note we prove that a definable set X over is superstable only if.

[Publisher's description:] When can we be morally responsible for our behavior? Is it fair to blame people for actions that are determined by heredity and environment? Can we be responsible for the actions of relatives or members of our community? In this provocative book, Tamler Sommers concludes that there are no objectively correct answers to these questions. Drawing on research in anthropology, psychology, and a host of other disciplines, Sommers argues that cross-cultural variation raises serious problems for theories that propose (...) universally applicable conditions for moral responsibility. He then develops a new way of thinking about responsibility that takes cultural diversity into account. -/- Relative Justice is a novel and accessible contribution to the ancient debate over free will and moral responsibility. Sommers provides a thorough examination of the methodology employed by contemporary philosophers in the debate and a challenge to Western assumptions about individual autonomy and its connection to moral desert. (shrink)

It is common to ascribe agency to some organized collectives, such as corporations, courts, and states, and to treat them as loci of responsibility, over and above their individual members. But since responsibility is often assumed to require free will, should we also think that group agents have free will? Surprisingly, the literature contains very few in-depth discussions of this question. The most extensive defence of corporate free will that I am aware of (Hess [2014], “The (...) Free Will of Corporations (and Other Collectives)”, Philosophical Studies 168 (1): 241–260) rests on a compatibilist understanding which takes reasons-responsiveness and acting from one’s own ‘actional springs’ as key conditions for free will but says little about a condition that free-will libertarians emphasize: the possibility of doing otherwise. In this paper, I will argue that group agents can have free will not only in a (less demanding) compatibilist sense, but also in a recognizably libertarian sense, which includes the possibility of doing otherwise. In developing this account of corporate free will, I will bring together recent work on group agency and recent work on free will. (shrink)

Free will is difficult to classify with respect to determinism or indeterminism, and its phenomenology in consciousness often shows both aspects. Initially, it is felt as unlimited and indeterminate will power, with the potentiality of multiple choices. Thereafter, reductive deliberation is led by determinism to the final decision, which realises only one of the potential choices. The reductive deliberation phase tries to find out the best alternative and simultaneously satisfying vague motivations, contextual conditions and personal preferences. The essential sense (...) of free will is the introduction of personal preferences, which allows a higher diversity of reactions to vague motivations. With an oversimplified model of determinism as a chain of events, incompatibilists define “free” as “undetermined” so that determinism becomes incompatible with any free choice between alternatives. In consciousness, free will requires a more complex model of network determinism as well as the consideration of unconsciousness as a causal factor. When “free” defined as “undetermined” is applied to the context of consciousness, it should be reinterpreted as “unconscious of being determined” or not aware of underlying determinism. Lacking information on determinism generates a feeling of “free” in consciousness and, therefore, gives the impression of indeterminism. Lacking information may be induced by an uncertain future without determined events—an unconscious past with biological reactions suddenly emerging from the unconsciousness or an unknown present unable to distinguish determinism of complex events. Therefore, at the level of human consciousness, the experience of free will is associated with apparent indeterminism although it is based on unconscious determinism. The concepts of compatibilism and incompatibilism are only two different aspects of the same phenomenon and correspond to consciousness and unconsciousness. Nevertheless, they can be considered together with a free will concept based on relativity depending on two different reference frames—the first person’s experience frame or the Laplace’s demon frame with knowledge on every molecule of the universe. Only relativity of the free will concept avoids the contradiction between “free” and “unfree” for the same phenomenon and could be a compromise for considering compatibilism and incompatibilism equally. (shrink)

Resolution and cut-free LK are the most popular propositional systems used for logical automated reasoning. The question whether or not resolution and cut-free LK have the same efficiency on the system of CNF formulas has been asked and studied since 1960 425–467). It was shown in Cook and Reckhow, J. Symbolic Logic 44 36–50 that tree resolution has super-polynomial speed-up over cut-free LK. Naturally, the current issue is whether or not resolution and cut-free LK expressed as (...) directed acyclic graphs have the same efficiency. In this paper, we introduce a new algorithm to eliminate atomic cuts and show that cut-free LK polynomially simulates resolution when the input formula is expressed as a k-CNF formula. As a corollary, we show that regular resolution does not polynomially simulate cut-free LK . We also show that cut-free LK polynomially simulates regular resolution. (shrink)

The general notion of relative freedom is introduced. It is a kind of freedom that is observed everywhere in nature. In biology, incomplete knowledge is defined for all organisms. They cope with the problem by Popper’s trial-and-error processes. One source of their success is the relative freedom of choice from the basic option ranges: mutations, motions and neuron connections. After the conjecture is adopted that communicability can be used as a criterion of consciousness, free will is defined as a (...) conscious version of relative freedom. The resulting notion is logically self-consistent and it describes an observable phenomenon that agrees with our experience. (shrink)