Non-perfect separably closed fields are stable, and not superstable. As a result, not all types can be ranked. We develop here a new tool, a "semi-rank", which takes values in the non-negative reals, and gives a sufficient condition for forking of types. This semi-rank is built up from a transcendence function, analogous to the one considered by Kolchin in the context of differentially closed fields. It yields some orthogonality and stratification results. /// Un corps séparablement clos non algébriquement clos est (...) stable sans être superstable. Cela signifie que seuls certains de ses types sont rangés. Nous développons un autre outil, un "semi-rang" à valeurs réelles, qui donne un critère de déviation des types. Ce semi-rang est construit à partir d'un analogue de la fonction de Kolchin associée à un type au-dessus d'un corps différentiel. Il produit des résultats de stratification des modèles et des résultats d'orthogonalité. (shrink)

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the (...) definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k. (shrink)

Separated and immediate extensions of valued fields. The notion of separated extension of valued fields was introduced by Baur. He showed that extensions of maximal fields are separated. We prove that, when (K, v) is Henselian with residual characteristic 0, then $(K, v) \subset (L, w)$ is separated iff L is linearly disjoint over K from each immediate extension of K.

Consider k((G)) in the language of valued fields enriched with a unary predicate for the set of constants and another one for the cross-section. For perfect k, this structure is undecidable if it does not satisfy Kaplansky's conditions.

The theory of immediate pairs of Henselian valued fields, with a given residual theory (of characteristic zero) and a given theory of valuation group (nonzero), is undecidable and has 2ℵ0 completions.

We study the structures $$, where $K$ is an ordered field and $K^\mathrm{r}$ its real closure, in the language of ordered fields with an additional unary predicate for the subfield $K$. Two such structures $$ and $$ are not necessarily elementary equivalent when $K$ and $L$ are. But with some saturation assumption on $K$ and $L$, then the two structures become equivalent, and we give a description of the complete theory.

An Ax-Kochen-Ershov principle for intermediate structures between valued groups and valued fields. We will consider structures that we call valued B-groups and which are of the form $\langle G, B, *, v\rangle$ where - G is an abelian group, - B is an ordered group, - v is a valuation defined on G taking its values in B, - * is an action of B on G satisfying: ∀ x ∈ G ∀ b ∈ B v(x * b) = v(x) (...) · b. The analysis of Kaplanski for valued fields can be adapted to our context and allows us to formulate an Ax-Kochen-Ershov principle for valued B-groups: we axiomatise those which are in some sense existentially closed and also obtain many of their model-theoretical properties. Let us mention some applications: 1. Assume that v(x) = v(nx) for every integer n ≠ 0 and x ∈ G, B is solvable and acts on G in such a way that, for the induced action, $\mathbb{Z}[B] \setminus \{0\}$ embeds in the automorphism group of G. Then $\langle G, B, *, v\rangle$ is decidable if and only if B is decidable as an ordered group. 2. Given a field k and an ordered group B, we consider the generalised power series field k((B)) endowed with its canonical valuation. We consider also the following structure: $\mathbf{M} = \langle k((B))_+, S, v, \times \upharpoonright_{k((B))\times S}\rangle,$ where k((B)) + is the additive group of k((B)), S is a unary predicate interpreting ${T^b| b \in B}$ , and $\times \upharpoonright_{k((B))\times S}$ is the multiplication restricted to k((B))× S, structure which is a reduct of the valued field k((B)) with its canonical cross section. Then our result implies that if B is solvable and decidable as an ordered group, then M is decidable. 3. A valued B-group has a residual group and our Ax-Kochen-Ershov principle remains valid in the context of expansions of residual group and value group. In particular, by adding a residual order we obtain new examples of solvable ordered groups having a decidable theory. (shrink)

In, Marker and Steinhorn characterized models of an o‐minimal theory such that all types over M realized in N are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. In o‐minimal theories, a pair of models for which all 1‐types over M realized in N are definable has already the desired property. Although it is true that if M is an algebraically closed valued field such that all 1‐types over M are definable then (...) all types over M are definable, we build a counterexample for the relative statement, i.e., we show for any that there is a pair of algebraically closed valued fields such that all n‐types over M realized in N are definable but there is an ‐type over M realized in N which is not definable. (shrink)

Separated and immediate extensions of valued fields. The notion of separated extension of valued fields was introduced by Baur. He showed that extensions of maximal fields are separated. We prove that, when $(K, v)$ is Henselian with residual characteristic 0, then $(K, v) \subset (L, w)$ is separated iff $L$ is linearly disjoint over $K$ from each immediate extension of $K$.

A chain-closed field is defined as a chainable field (i.e. a real field such that, for all n ∈ N, Σ K2n+1 ≠ Σ K2n) which does not admit any "faithful" algebraic extension, and can also be seen as a field having a Henselian valuation ν such that the residue field K/ν is real closed and the value group ν K is odd divisible with |ν K/2ν K| = 2. If K admits only one such valuation, we show that f (...) ∈ K(X) is in $\mathbf{\Sigma} K(X)^{2n} \operatorname{iff}$ for any real algebraic extension L of $K, "f(L) \subseteq \mathbf{\Sigma}L^{2n}"$ holds. The conclusion is also true for K = R((t)) (a chainable but not chain-closed field), and in the case n = 1 it holds for several variables and any real field K. (shrink)

L. van den Dries proved that the theory of n-valued rings has a model companion. We show here that this result is still true when the valuation rings are required to satisfy given inclusion relations (we restrict ourselves to the case of residual characteristic zero).

We study the structures $(K \subset K^\mathrm{r})$ , where K is an ordered field and Kr its real closure, in the language of ordered fields with an additional unary predicate for the subfield K. Two such structures $(K \subset K^\mathrm{r})$ and $(L \subset L^\mathrm{r})$ are not necessarily elementary equivalent when K and L are. But with some saturation assumption on K and L, then the two structures become equivalent, and we give a description of the complete theory.

C. U. Jensen suggested the following construction, starting from a field $K: K_0 = K, K_{\alpha + 1} = K_\alpha ((X_\alpha)), K_\alpha = \bigcup K_\beta$ if $\alpha$ is limit and asked when two fields $k_\alpha$ and $K_\beta$ are equivalent. We give a complete answer in the case of a field $K$ of characteristic 0.

C. U. Jensen suggested the following construction, starting from a fieldK:and asked when two fieldsKαandKβare equivalent. We give a complete answer in the case of a fieldKof characteristic 0.

A chain-closed field is defined as a chainable field which does not admit any "faithful" algebraic extension, and can also be seen as a field having a Henselian valuation $\nu$ such that the residue field $K/\nu$ is real closed and the value group $\nu K$ is odd divisible with $|\nu K/2\nu K| = 2$. If $K$ admits only one such valuation, we show that $f \in K$ is in $\mathbf{\Sigma} K^{2n} \operatorname{iff}$ for any real algebraic extension $L$ of $K, "f (...) \subseteq \mathbf{\Sigma}L^{2n}"$ holds. The conclusion is also true for $K = \mathbf{R})$, and in the case $n = 1$ it holds for several variables and any real field $K$. (shrink)

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We show that every definable nested family of closed and bounded subsets of a P-minimal field K has nonempty intersection. As an application we answer a question of Darnière and Halupczok showing that P-minimal fields satisfy the “extreme value property”: for every closed and bounded subset [math] and every interpretable continuous function [math] (where [math] denotes the value group), f(U) admits a maximal value. Two further corollaries are obtained as a (...) consequence of their work. The first one shows that every interpretable subset of [math] is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every P-minimal field is polynomially bounded. The second one characterizes those P-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues. (shrink)

We consider separably closed fields of characteristic $p > 0$ and fixed imperfection degree as modules over a skew polynomial ring. We axiomatize the corresponding theory and we show that it is complete and that it admits quantifier elimination in the usual module language augmented with additive functions which are the analog of the $p$-component functions.

In Dellunde et al. 997–1015), we determined the complete theory Te of modules of separably closed fields of characteristic p and imperfection degree e, eω{∞}. Here, for 0≠eω, we describe the closed set of the Ziegler spectrum corresponding to Te. Further, we establish a correspondence between certain submodules and n-types and we investigate several notions of dimensions and their relationships with the Lascar rank. Finally, we show that Te has uniform p.p. elimination of imaginaries and deduce uniform weak elimination of (...) imaginaries. (shrink)

Most people agree that inflicting unnecessary suffering upon animals is wrong. Many fewer people, including among ethicists, agree that painlessly killing animals is necessarily wrong. The most commonly cited reason is that death (without pain, fear, distress) is not bad for them in a way that matters morally, or not as significantly as it does for persons, who are self-conscious, make long-term plans and have preferences about their own future. Animals, at least those that are not persons, lack a morally (...) significant interest in continuing to live. At the same time, some argue that existence itself can be good, insofar as one’s life is worth living. For animals, a good life can offset a quick, if early, death. So, it seems to follow that breeding happy animals that will be (prematurely) killed can be a good thing overall. Insofar as slaughter and sale makes it economically sustainable to raise new ones, who would otherwise not exist, raising and killing animals for food who will have lives worth living is good overall. It benefits them as well as consumers, and makes the world better by adding to the sum of happiness. The process of raising and killing animals with positive welfare produces a sequence of replacement that maintains or increases overall welfare, all else being equal (assuming in particular no overall negative impact on the welfare of other parties). Call this the Replaceability Argument (RA) and the ensuing controversy the Replaceability Problem (RP). This is a problem at the crossroads of the ethics of killing, agricultural ethics, procreation ethics, and population ethics. (shrink)

L'ouvre de Diderot échappe aux catégories habituelles. Elle se développe dans un temps où les genres littéraires sont en crise. Dans ses romans et ses contes, les dialogues se chevauchent, les narrateurs se multiplient, les êtres de fiction côtoient des personnages historiques (oui, Rameau avait bien un neveu)... Du vivant de leur auteur, peu de textes parurent autrement que dans la clandestinité ou la confidentialité. Liberté d'invention, diffusion restreinte : sans doute tient-on là les raisons pour lesquelles Diderot n'a pas (...) été considéré comme un écrivain majeur aussi rapidement que le furent Voltaire ou Rousseau. Mais le temps a fait son ouvre. Aujourd'hui, c'est le génie et le visionnaire que l'on invoque en lisant ses récits presque entièrement composés de dialogues et où le narrateur, ironique, fantaisiste, ne se fait jamais oublier. Avec les célèbres échanges de Lui et de Moi dans Le Neveu de Rameau, avec ceux de Jacques le fataliste, de son maître et de leurs comparses, et avec ceux, moins connus, de l'Entretien d'un père avec ses enfants ou encore de Mystification : Diderot, auteur, narrateur et personnage, joue de l'illusion romanesque et de ses ficelles. Mais on est bien au-delà du simple jeu de société. Avec ses récits, Diderot parvient à transmettre les questions des Lumières à l'échelle des sentiments humains - amitié, désir, amour - et des individus. (shrink)

This paper argues that contemporary philosophical literature on meaning in life has important implications for the debate about our obligations to non-human animals. If animal lives can be meaningful, then practices including factory farming and animal research might be morally worse than ethicists have thought. We argue for two theses about meaning in life: that the best account of meaningful lives must take intentional action to be necessary for meaning—an individual’s life has meaning if and only if the individual acts (...) intentionally in ways that contribute to finally valuable states of affairs; and that this first thesis does not entail that only human lives are meaningful. Because non-human animals can be intentional agents of a certain sort, our account yields the verdict that many animals’ lives can be meaningful. We conclude by considering the moral implications of these theses for common practices involving animals. (shrink)

This article defends a relational account of personhood. I argue that the structure of personhood consists of dyadic relations between persons who can wrong or be wronged by one another, even if some of them lack moral competence. I draw on recent work on directed duties to outline the structure of moral communities of persons. The upshot is that we can construct an inclusive theory of personhood that can accommodate nonhuman persons based on shared community membership. I argue that, once (...) we unpack the internal relation between directed duties, moral status, and flourishing, relations can ground personhood and include nonhuman animals. (shrink)

Most people believe that suffering is intrinsically bad. In conjunction with facts about our world and plausible moral principles, this yields a pro tanto obligation to reduce suffering. This is the intuitive starting point for the moral argument in favor of interventions to prevent wild animal suffering. If we accept the moral principle that we ought, pro tanto, to reduce the suffering of all sentient creatures, and we recognize the prevalence of suffering in the wild, then we seem committed to (...) the existence of such a pro tanto obligation. Of course, competing values such as the aesthetic, scientific or moral values of species, biodiversity, naturalness or wildness, might be relevant to the all-things-considered case for or against intervention. Still, many argue that, even if we were to give some weight to such values, no plausible theory could resist the conclusion that WAS is overridingly important. This article is concerned with large-scale interventions to prevent WAS and their tractability and the deep epistemic problem they raise. We concede that suffering gives us a reason to prevent it where it occurs, but we argue that the nature of ecosystems leaves us with no reason to predict that interventions would reduce, rather than exacerbate, suffering. We consider two interventions, based on gene editing technology, proposed as holding promise to prevent WAS; raise epistemic concerns about them; discuss their potential moral costs; and conclude by proposing a way forward: to justify interventions to prevent WAS, we need to develop models that predict the effects of interventions on biodiversity, ecosystem functioning, and animals’ well-being. (shrink)

The various statements and declarations of the World Medical Association that address conflicts of interest on the part of physicians as (1) researchers, and (2) practitioners, are examined, with particular reference to the October 2000 revision of the Declaration of Helsinki. Recent contributions to the literature, notably on conflicts of interest in medical research, are noted. Finally, key provisions of the American Medical Association’s Code of Medical Ethics (2000–2001 Edition) that address the various forms of conflict of interest that can (...) arise in the practice of medicine are outlined. (shrink)

Urban animals can benefit from living in cities, but this also makes them vulnerable as they increasingly depend on the advantages of urban life. This article has two aims. First, I provide a detailed analysis of the concept of captivity and explain why it matters to nonhuman animals—because and insofar as many of them have a (non-substitutable) interest in freedom. Second, I defend a surprising implication of the account—pushing the boundaries of the concept while the boundaries of cities and human (...) activities expand. I argue for the existence of the neglected problem of pervasive captivity, of which urban wildlife is an illustration. Many urban animals are confined, controlled and dependent, therefore often captive of expanding urban areas. While I argue that captivity per se is value-neutral, I draw the ethical and policy implications of harmful pervasive captivity. (shrink)

Can animals be agents? Do they want to be free? Can they have meaningful lives? If so, should we change the way we treat them? This paper offers an account of animal agency and of two continuums: between human and nonhuman agency, and between wildness and captivity. It describes how a wide range of human activities impede on animals’ freedom and argues that, in doing so, we deprive a wide range of animals of opportunities to exercise their agency in ways (...) that can give meaning to their lives. (shrink)

oise Baylis, 1234 Le Marchant Street, Halifax, Nova Scotia, Canada B3H 3P7. Tel.: (902)-494–2873; Fax: (902)-494-2924; Email: francoise.baylis{at}dal.ca ' + u + '@' + d + ' '//--> . Abstract Recently, there has been a growing interest in public health and public health ethics. Much of this interest has been tied to efforts to draw up national and international plans to deal with a global pandemic. It is common for these plans to state the importance of drawing upon a (...) well-developed ethics framework and we argue that this framework should reflect the values and insights of feminist relational theory. More specifically, we argue that pandemic planning must be squarely situated in the larger realm of public health and that an ethics framework for public health will be one that recognizes the need to pay particular attention to the vulnerability of subpopulations lacking in social and economic power. We propose an ethics framework for public health that builds on the notions of relational personhood (including relational autonomy and social justice) and relational solidarity. In this way, we aim for a public health ethics that, as appropriate, promotes the public interest and the common good. CiteULike Connotea Del.icio.us What's this? (shrink)

Suddenly, COVID-19 has changed the world and the way people work. Companies had to accelerate something they knew was imminent in the future, but not immediate and extremely humongous. This situation poses a huge challenge for companies to survive and thrive in this complex business environment and for employees, who must adapt to this new way of working. An effective e-leadership, which promotes companies’ adaptability, is needed. This study investigates the existing knowledge on teleworking and e-leadership; and analyzes the supposed (...) challenges. The literature review shows that companies with effective e-leadership can view teleworking as an opportunity. It is advantageous for not only companies’ productivity but also the environment and people who work remotely. However, a traditional or no leadership can result in some risks. Thriving in remote work environments implies that managers must adjust the companies’ structure, making them less hierarchical, and developing new abilities to establish a strong and trustworthy relationship with their employees to maintain their competitiveness, while retaining a genuine concern for their employees’ well-being. Similarly, successful e-leadership must be able to consolidate and lead effective virtual teams to accomplish organizational goals. This study contributes to the literature and leaders during the pandemic. (shrink)

A growing literature argues that animals can act for moral reasons without being responsible. I argue that the literature often fails to maintain a clear distinction between moral behavior and moral agency, and I formulate a dilemma: either animals are less moral or they are more responsible than the literature suggests. If animals can respond to moral reasons, they are responsible according to an influential view of moral responsibility–Quality of Will. But if they are responsible, as some argue, costly implications (...) must be acknowledged. If, however, they should not be considered responsible, then we may have to reassess the meaning of animal morality. I discuss ways to eschew responsibility or to tailor it to animals and argue that each requires a revised conception of animal morality. (shrink)

Is suffering really bad? The late Derek Parfit argued that we all have reasons to want to avoid future agony and that suffering is in itself bad both for the one who suffers and impersonally. Nietzsche denied that suffering was intrinsically bad and that its value could even be impersonal. This paper has two aims. It argues against what I call ‘Realism about the Value of Suffering’ by drawing from a broadly Nietzschean debunking of our evaluative attitudes, showing that a (...) recently influential response to the debunking challenge (the appeal to phenomenal introspection) fails. It also argues that a Nietzschean approach is well suited to support the challenge and is bolstered by the empirical literature. As strangers to ourselves, we cannot know whether suffering is really intrinsically bad for us. (shrink)

Starting from a distinction between intrinsic and final value, I explore the implications of the supervenience of final value on extrinsic properties regarding moral status. I make a case for ‘extrinsic moral status’ based on ‘extrinsic final value’. I show that the assumption of ‘moral individualism’, that moral status supervenes merely on intrinsic properties, is misguided, and results from a conflation of intrinsic with final value. I argue that at least one extrinsic property, namely vulnerability, can be the basis of (...) both final value and moral status, and that dependence on such extrinsic properties is compatible with the requirement of agent-neutrality. (shrink)

The primary objective of The Health Care Ethics Con sultant is to focus attention on an immediate practical problem: the role and responsibilities, the education and training, and the certification and accreditation of health care ethics consultants. The principal questions addressed in this book include: Who should be considered health care ethics consultants? Whom should they advise? What should be their responsi bilities and what kind of training should they have? Should there be some kind of accreditation or certification program (...) to ensure that those who call themselves ethics consultants are in fact qualified to advise, consult, research, and write in health care ethics? The distinguished authors ofthese articles are persons with diverse backgrounds, interests, presumptions, and val ues. Not surprisingly, therefore, diverse responses have emerged to the questions posed. Though the book's chapters are individually authored, they are informed by the group discussions that went on during active workshop sessions, and by knowledge of the contributions of others. All of the chapters meaningfully represent their consensus. This is not to say that there were no disagreements regarding specific details, but rather that there were no fundamental objections on the book's basic content among a panel of authors who share basic premises regarding the role, responsibilities, education, and certifica tion of health care ethics consultants. (shrink)

Fragments of painted plaster found in the destruction layer of three first floor rooms in the House of Seals and of one first floor room of the House of the Sword had broken from the ceiling. They allow the restoration of the schema in the room of the House of the Sword and of two of the rooms in the House of Seals, the latter in colour. Composed of bands surrounding a quadrangular field, these décorations, evoking carpets stretched on the (...) ceiling, are richer (costly pigments, gold leaf) and more complex (some fifteen motifs) than those in tombs of the same period, which adopted the same « carpet » composition and which borrowed from the same repertoire, often confirmed by the textiles. Since we know of no other ceiling decoration in habitation rooms, it is unwise to contrast the exuberance of these ceilings with the tomb ceilings. The room that could not be restored had moreover a much more perfunctory decoration. (shrink)

Animals who live in cities must coexist with us. They are, as a result, entitled to the conditions of their flourishing. This article argues that, as the boundaries of cities and urban areas expand, the boundaries of our conception of captivity should expand too. Urbanization can undermine animals’ freedoms, hence their ability to live good lives. I draw the implications of an account of “pervasive captivity” against the background of the Capabilities Approach. I construe captivity, including that of urban animals, (...) as affecting a range of animal capabilities, understood as freedoms, and I address some tensions within Nussbaum’s treatment of human-animal conflicts. Using the Capabilities Approach as a guide, I will attempt to motivate a convergence between habitat preservation in urbanized environments, urban design guided by justice, and the individual freedoms of animals. (shrink)

In this article, I argue that there is no compelling therapeutic ‘need’ for human nuclear genome transfer to prevent mitochondrial diseases caused by mtDNA mutations. At most there is a strong interest in this technology on the part of some women and couples at risk of having children with mitochondrial disease, and perhaps also a ‘want’ on the part of some researchers who see the technology as a useful precedent – one that provides them with ‘a quiet way station’ in (...) which to refine the micromanipulations techniques essential for other human germline interventions and human cloning. In advance of this argument, I review basic information about mitochondrial disease and novel genetic strategies to prevent the transmission of mutated mitochondria. Next, I address common features of contemporary debates and discussions about so-called mitochondrial replacement. First, I contest the cliché that science-and-technology is fast outpacing ethics. Second, I dispute the accuracy of the term ‘mitochondrial replacement’. Third, I provide a sustained critique of the purported ‘need’ for genetically-related children. In closing, I call into question the mainly liberal defense of human nuclear genome transfer. I suggest an alternative frame of reference that pays particular attention to issues of social justice. I conclude that our limited resources should be carefully expended in pursuit of the common good, which does not include pandering to acquired desires. (shrink)

I examine the two-level utilitarian case for humane animal agriculture (by R. M. Hare and Gary Varner) and argue that it fails on its own terms. The case states that, at the ‘intuitive level’ of moral thinking, we can justify raising and killing animals for food, regarding them as replaceable, while treating them with respect. I show that two-level utilitarianism supports, instead, alternatives to animal agriculture. First, the case for humane animal agriculture does not follow from a commitment to two-level (...) utilitarianism combined with a commitment to respecting animal lives. Secondly, the two-level utilitarian case falls prey to a compartmentalization problem and cannot uphold both respect and replaceability. What I call ‘humane lives’ are not appropriately valued by the lights of two-level utilitarianism itself. (shrink)