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)

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.

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)

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

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.

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

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.

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.

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.

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)

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)

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)

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)

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)

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)

We give a complete description of minimal groups infinitely definable in separably closed fields of finite degree of imperfection. In particular we answer positively the question of the existence of such a group with infinite transcendence degree (i.e., a minimal group with non thin generic).

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)

Parmi les hispanistes, Mónica Bolufer est aujourd’hui considérée, à juste titre, comme une des meilleures spécialistes de la condition féminine dans l’Espagne des Lumières. En témoignent les nombreux travaux qu’elle a consacrés à ce thème, dont on peut consulter la liste dans la bibliographie du présent ouvrage. Le titre du livre correspond parfaitement à la façon dont il est conçu : l’Apologie rédigée par I. Joyes (25 p. avec les notes) est certes à l’origine et au centre du livre, mais (...) elle... (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)

Début 1871, Helmholtz donne une conférence à Heidelberg, devant un public de non spécialistes, sur « la genèse du système planétaire », dont le sujet sera ce qu’il appelle la théorie de Kant-Laplace. Plutôt que de commencer par expliquer ce qu’il faut entendre par cette dernière, Helmholtz expose devant ses auditeurs la représentation que l’on se fait désormais de la formation des corps célestes et de leur devenir probable, en s’appuyant sur les progrès des connaissances, la découverte de nouvelles lois, (...) l’usage d’instruments de plus en plus perfectionnés. C’est ainsi que la validité de l’hypothèse de Kant et de Laplace se trouve confirmée a posteriori et leur audace légitimée. Aussi, la démarche adoptée par Helmholtz relativise-t-elle implicitement, et peut-être à son insu, la rigueur postulée de la bonne méthode scientifique. La cosmogonie esquissée par Helmholtz ressemble à un spectacle bien étudié dont les auditeurs sont les spectateurs, les savants, les acteurs, et la science épurée, l’enjeu. L’analyse de ce texte a donc pour objectif principal d’identifier et de rappeler les éléments contextuels qui lui confèrent son épaisseur, depuis la guerre franco-prussienne jusqu’aux tensions idéologiques, philosophiques, scientifiques qui en sont l’arrière-plan. (shrink)

En partant de la définition des rituels, et notamment du rôle de la parole, qu'elle soit verbale ou non-verbale, cet article interroge la façon dont la ritualisation peut contribuer à l'éducation, notamment en milieu scolaire. Après un tour d'horizon des principaux aspects rituels de l'enseignement et de l'école, l'auteur questionne plus particulièrement les rituels d'apprentissage, c'est-à-dire ceux qui structurent la relation enseignant/enseigné au sein de la classe. En s'appuyant sur une théorisation psychanalytique elle montre alors comment les rituels peuvent ou (...) non, notamment en fonction de leur degré « d'ouverture », contribuer à faire exister les élèves dans leur singularité et, ce faisant, les aider à se construire dans leur rapport au savoir.Starting from the definition of rituals, including the role of speech, either verbal or non-verbal, this article examines how ritual can contribute to education, particularly in schools. After an overview of the main aspects of teaching and rituals of the school, especially the author questions the rituals of learning, that is to say those that structure the relationship teacher / learner in the class. Based on psychoanalytic theorizing it then shows how rituals may or may not, depending on their particular degree of "openness" to help students exist in their singularity, thereby helping to build in their relation to knowledge. (shrink)

À partir de l'étude de la constitution et de l'histoire des archives du parlement de Paris et de leur traitement archivistique, ainsi que des multiples collections de copies et d'extraits dont elles ont été l'objet, cet article propose une réflexion sur la manière dont ce fonds d'archives, qui allie une exceptionnelle importance matérielle et historique et une particulière complexité, a pu être traité par les archivistes et utilisé par les chercheurs, ainsi que sur les perspectives qu'il peut ouvrir à la (...) recherche. Ces archives du Parlement illustrent en effet toute la gamme des problèmes de conservation, de traitement, de communication au public et d'exploitation et rendent particulièrement manifeste la complémentarité et l'interpénétration nécessaires, voire la confusion, des approches historique et archivistique ; elles démontrent que la connaissance par les chercheurs de l'histoire du fonds d'archives va bien au-delà de la simple pratique archivistique et contribue à la perception de la documentation comme« source» d'histoire. (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)

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)

Tri‐methylation of lysine 4 on histone H3 (H3K4me3) is a near‐universal chromatin modification at the transcription start site of active genes in eukaryotes from yeast to man and its levels reflect the amount of transcription. Because of this association, H3K4me3 is often described as an ‘activating’ histone modification and assumed to have an instructive role in the transcription of genes, but the field is lacking a conserved mechanism to support this view. The overwhelming finding from genome‐wide studies is that actually (...) very little transcription changes upon removal of most H3K4me3 under steady‐state or dynamically changing conditions, including at mammalian CpG island promoters. Instead, rather than a major role in instructing transcription, time‐resolved experiments provide more evidence supporting the deposition of H3K4me3 into chromatin as a result of transcription, influencing processes such as memory of previous states, transcriptional consistency between cells in a population and transcription termination. -/- . (shrink)