Concepts and methods originating in one discipline can distort the structure of another when they are applied to the latter. I exemplify this mostly with reference to systematic biology, especially problems which have arisen in relation to the nature of species. Thus the received views of classes, individuals (which term I suggest be replaced by units to avoid misunderstandings), and sets are all inapplicable, but each can be suitably modified. The concept of fuzzy set was developed to deal with species (...) and I defend its applicability. Taxa at all levels are real and participate in biological processes. Analysis of cause and pattern provides the deep structure in which metabiology is grounded; violation of this principle has led to diverse errors in biology. (shrink)

The extended neoteric ranked set sampling plan proposed by Taconeli and Cabral has proven to outperform many one stages and two stages ranked set sampling plans when estimating the mean and the variance for different populations. Therefore, in this paper, the likelihood function based on ENRSS is proposed and used for estimation of the parameters of the inverted Nadarajah–Haghighi distribution. An extensive Monte Carlo simulation study is conducted to assess the performance of the proposed likelihood function, and the efficiency of (...) the estimated parameters based on ENRSS is compared with the well-known ranked set sampling plan and some of its modifications. These modifications include the extended ranked set sampling plan and the neoteric ranked set sampling plan. The results as foreseeable were very satisfactory and gave similar results to Taconeli and Cabral’s 2019 results. (shrink)

The analysis of dispositions is used to consider cases where the effect of one disposition operating is the existence of another disposition. This may arise from rearrangements within aggregated structures of dispositional parts, or, it is argued, also as stages of derivative dispositions within a set of multiple generative levels. Inspection of examples in both classical and quantum physics suggests a general principle of `Conditional Forward Causation': that dispositions act 'forwards' in a way conditional on certain circumstances or occasions already (...) existing at the `later' levels. (shrink)

We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...) strongly sound and complete with respect to the class of frames determined by the axioms and the rules. (shrink)

We introduce a natural two-cardinal version of Bagaria’s sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness of these (...) two-cardinal derived topologies can be obtained from certain two-cardinal indescribability hypotheses, which follow from local instances of supercompactness. Additionally, we answer several questions posed by the first author, Holy and White on the relationship between Ramseyness and indescribability in both the cardinal context and in the two-cardinal context. (shrink)

We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of [Formula: see text]-indescribability and [Formula: see text]-indescribability of a cardinal [Formula: see text] for all [Formula: see text]. In this context, universal [Formula: see text] formulas exist, there is a normal ideal associated to [Formula: see text]-indescribability and the notions of [Formula: (...) see text]-indescribability yield a strict hierarchy below a subtle cardinal. Additionally, given a regular cardinal [Formula: see text], we introduce a diagonal version of Cantor’s derivative operator and use it to extend Bagaria’s [Derived topologies on ordinals and stationary reflection, Trans. Amer. Math. Soc. 371(3) (2019) 1981–2002] sequence [Formula: see text] of derived topologies on [Formula: see text] to [Formula: see text]. Finally, we prove that for all [Formula: see text], if there is a stationary set of [Formula: see text] that have a high enough degree of indescribability, then there are stationarily many [Formula: see text] that are nonisolated points in the space [Formula: see text]. (shrink)

In a quiet London office, a software designer muses on the algorithms that will make possible the risk flags to be visualized on the screens of border guards from Heathrow to St Pancras International. There is, he says, ‘real time decision making’ – to detain, to deport, to secondarily question or search – but there is also the ‘offline team who run the analytics and work out the best set of rules’. Writing the code that will decide the association rules (...) between items of data, prosaic and mundane – flight route, payment type, passport – the analysts derive a novel preemptive security measure. This paper proposes the analytic of the data derivative – a visualized risk flag or score drawn from an amalgam of disaggregated fragments of data, inferred from across the gaps between data and projected onto an array of uncertain futures. In contrast to disciplinary and enclosed techniques of collecting data to govern population, the data derivative functions via ‘differential curves of normality’, imagining a range of potential futures through the association rule, thus ‘opening up to let things happen’. In some senses akin to the risk orientation of the financial derivative, itself indifferent to actual underlying people, places or events by virtue of modulated norms, the contemporary security derivative is not centred on who we are, nor even on what our data say about us, but on what can be imagined and inferred about who we might be – on our very proclivities and potentialities. (shrink)

Brain Organoids in their current state of development are patentable. Future brain organoids may face some challenges in this regard, which I address in this contribution. Brain organoids unproblematically fulfil the general prerequisites of patentability set forth in Art. 3 (1) EU-Directive 98/44/ec (invention, novelty, inventive step and susceptibility of industrial application). Patentability is excluded if an invention makes use of human embryos or constitutes a stage of the human body in the individual phases of its formation and development. Both (...) do not apply to brain organoids, unless ES-cells are used. Art. 6 (1) EU-Directive 98/44/ec excludes patentability for inventions “the commercial exploitation of which would be contrary to ordre public or morality”. While there is no conceivable scenario, in which the commercial application of current brain organoids violates the ordre public, the same is not necessarily true for future brain organoids. Keeping in mind that a development of consciousness-like abilities in future brain organoids cannot be excluded and that an ability for both physical and psychological suffering has been theorized, both of which are aspects of the ordre public, certain applications of future brain organoids may constitute a violation of the ordre public and therefore lead to an exclusion of patentability. (shrink)

In previous articles we presented a simple set of axioms named “Contexts, Systems and Modalities”, where the structure of quantum mechanics appears as a result of the interplay between the quantized number of modalities accessible to a quantum system, and the continuum of contexts that are required to define these modalities. In the present article we discuss further how to obtain Born’s rule within this framework. Our approach is compared with other former and recent derivations, and its strong links with (...) Gleason’s theorem are particularly emphasized. (shrink)

It was Ayn Rand's conviction that philosophy is a life and death matter, both for individuals and cultures. She was not a historian of philosophy, but a philosopher deeply interested in its history. This chapter discusses the approach Rand took in her exploration of the history of philosophy, and later in writing about that history. This provides us with the needed framework for looking at a number of distinctive conclusions she derives from her study of the history of philosophy, which (...) lead her to reject some of the standard ways of unifying and distinguishing “schools” of philosophy and locating figures within these schools. Finally, with that background as context, the chapter deals with her provocative claims about the place of Aristotle and Immanuel Kant in the history of philosophy and culture generally. (shrink)

One of the earliest applications of transfinite numbers is in the construction of derived sequences by Cantor [2]. In [6], the existence of derived sequences for countable closed sets is proved in ATR0. This existence theorem is an intermediate step in a proof that a statement concerning topological comparability is equivalent to ATR0. In actuality, the full strength of ATR0 is used in proving the existence theorem. To show this, we will derive a statement known to be equivalent (...) to ATR0, using only RCA0 and the assertion that every countable closed set has a derived sequence. We will use three of the subsystems of second order arithmetic defined by H. Friedman , which can be roughly characterized by the strength of their set comprehension axioms. RCA0 includes comprehension for Δmath image definable sets, ACA0 includes comprehension for arithmetical sets, and ATR0 appends to ACA0 a comprehension scheme for sets defined by transfinite recursion on arithmetical formulas. MSC: 03F35, 54B99. (shrink)

Building upon previous research on the therapeutic object, specifically the objet re-petit-ive abc, which draws from Lacan, Winnicott, and Guattari, I explore the generation, contribution, and erosion of knowledge in the so-called smart city. I will investigate how digital pedagogical objects, functioning as transitional objects, can serve as therapeutic purposes both within and outside institutional settings. I examine the notions of the dérive and psychogeography and compare them with Bernard Stiegler’s concept of the “journey of knowledge” and then delve into (...) the curation of “negentropic forms of knowledge” and the mnemonic technique of the dérive. Taking ecological and ecosophical perspectives into account, I consider mnemonic techniques as a means to critically reflect upon the urban landscape and its transformation into a technical milieu. My overall goal is to contemplate the possibility of a Stieglerian and/or Guattarian détournement (philosophical hijacking) of the smart city. (shrink)

Religions “in the wild” are the varied set of religious activities that occurred before the emergence of organized religions with doctrines, or that persist at the margins of those organized traditions. These religious activities mostly focus on misfortune; on how to remedy specific cases of illness, accidents, failures; and on how to prevent them. I present a general model to account for the cross-cultural recurrence of these particular themes. The model is based on features of human psychology—namely, epistemic vigilance, the (...) set of systems whereby we evaluate the quality of information and of sources of information, and threat-detection psychology, the set of evolved systems geared at detecting potential danger in the environment. Given these two sets of systems, the dynamics of communication will favor particular types of messages about misfortune. This makes it possible to predict recurrent features of religious systems, such as the focus on nonphysical agents, the focus on particular cases rather than general aspects of misfortune, and the emergence of specialists. The model could illuminate not just why such representations are culturally successful, but also why people are motivated to formulate them in the first place. (shrink)

Naive set theory, as found in Frege and Russell, is almost universally believed to have been shown to be false by the set-theoretic paradoxes. The standard response has been to rank sets into one or other hierarchy. However it is extremely difficult to characterise the nature of any such hierarchy without falling into antinomies as severe as the set-theoretic paradoxes themselves. Various attempts to surmount this problem are examined and criticised. It is argued that the rejection of naive set theory (...) inevitably leads one into a severe scepticism with regard to the feasibility of giving a systematic semantics for set theory. It is further argued that this is not just a problem for philosophers of mathematics. Semantic scepticism in set theory will almost inevitably spill over into total pessimism regarding the prospects for an explanatory theory of language and meaning in general. The conclusion is that those who wish to avoid such intellectual defeatism need to look seriously at the possibility that it is the logic used in the derivation of the paradoxes, and not the naive set theory itself, which is at fault. (shrink)

Background: The pharmaceutical industry has been responsible for major medical advances, but the industry has also been heavily criticized. Such criticisms, and associated regulatory responses, are no doubt often warranted, but do not provide a framework for those who wish to reason systematically about the moral dimensions of drug development. We set out to develop such a framework using Beauchamp and Childress's “four principles” as organizing categories. Methods: We conducted a qualitative interview study of people working in the “medical affairs” (...) departments of pharmaceutical companies to determine: (1) whether our data could meaningfully be organized under the headings of “autonomy,” “beneficence,” “nonmaleficence,” and “justice”; (2) how principles might be expressed in this particular commercial setting; and (3) if these principles are expressed, whether and how competing principles are balanced. We then critiqued these findings using existing normative theory. Results: Our interviews demonstrated that three of Beauchamp and Childress's four principles were salient to our participants: beneficence, nonmaleficence, and justice. Within each of these principles, participants had two broad ethical orientations: an altruistic public focus (“other-ness”) and a commitment to their companies (“firm-ness”). Our participants also demonstrated efforts to balance these principles and highlighted the importance of phronesis (or practical wisdom) in balancing and enacting principles. Notably, however, our participants did not spontaneously emphasize the importance of autonomy. Conclusions: It is possible to use qualitative empirical research, together with normative analysis, to derive a framework for pharmaceutical ethics. We suggest that our framework would be useful for those who wish to reason ethically within, or in collaboration with, the pharmaceutical industry. (shrink)

Let $R$ be a (finite) rewrite system over a (finite) signature. Let $\succ$ be a strict well-founded termination ordering on the set of terms in question so that the rules of $R$ are reducing under $\succ$ . Then $R$ is terminating. In this article it is proved for a certain class of far reaching termination orderings (of order type reaching up to the first subrecursively inaccessible ordinal, i.e. the proof-theoretic ordinal of $ID_{<\omega}$ ) that – under some reasonable assumptions which (...) are met in current applications – the derivation lengths function for $R$ is bounded by a function from the slow growing hierarchy of level determined by the order type of the underlying termination ordering. This result is a (correction of the proof of and a) strong generalization of theorem 8.1 in Cichon's article Termination orderings and complexity characterisations. Leeds, Proof Theory 1990, (Aczel, Simmons, and Wainer, editors), Cambridge University Press 1992, 171-193. (shrink)

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. (...) This is illustrated by an account of Gödel's T, a system which codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject, and develop a further understanding. An appendix contains complete solutions of these exercises. (shrink)

The Korean particle -nun combined with an accent indicates contrast :269–320, 1972; Heycock, in: Merce Proceedings of NELS, vol 24, pp 159–187, 1993; in: Miyagawa, Saito Handbook of Japanese linguistics, Oxford University Press, Cambridge, 2007; Hara, in: Dekker, Franke Fifteenth Amsterdam colloquium, Universiteit van Amsterdam, pp 101–106, 2006; Lee, in: Lee, Gordon, Büring Topic and focus: meaning and intonation from a crosslinguistic perspective. Springer, Berlin, 2003; Tomioka, in: Zimmermann, Fery Information structure, Oxford University Press, Cambridge, pp 115–138, 2009, among many (...) others). While this is not controversial, what it means to be contrastive remains unclear. In this paper, instead of analyzing contrastive -nun as a discourse device in the sense of information structure, as has been done in previous studies, I explore how the contrastive meaning is derived compositionally. I treat contrastive -nun as a focus sensitive particle that associates with prosodic accents in two places, generating a non-at-issue meaning. The non-at-issue meaning contains a polyadic quantifier that establishes a contrastive relationship between two elements in a given set. This analysis explains how focus following contrastive -nun is associated with -nun. It also provides an explanation for the uncertainty implicature that contrastive -nun gives rise to. Finally, it clarifies the logical relationship among different focus particles in Korean. (shrink)

In this paper, we define the notions of (l,r)-symmetric bi-derivations and (r,l)-symmetric bi-derivations on UP-algebras and investigate some properties of them. For these derivations, we introduce the sets Kerd(U), Fixd(U) and FixD(U). Moreover, we examine with examples whether these sets are UP-subalgebra or UP-ideal.

Inferences that result from exhaustification of a sentence S depend on the set of alternatives to S. In this paper, we present some inference patterns that are problematic for previous theories of alternatives and propose some structural constraints on the derivation of formal alternatives which derive the observations.

One of the fundamental ethical concerns about biomedical research is that it frequently exposes participants to risks for the benefit of others. To protect participants’ rights and interests in this context, research regulations and guidelines set out a mix of substantive and procedural requirements for research involving humans. Risk thresholds play an important role in formulating both types of requirements. First, risk thresholds serve to set upper risk limits in certain types of research. Second, risk thresholds serve to demarcate risk (...) categories that streamline risk-adapted systems of ethical oversight. But although risk thresholds play such an important role in research governance, there is a need both to better define the existing risk thresholds and to delineate new thresholds in order to develop more risk-adapted systems of research oversight. The present paper examines the existing minimal risk threshold and the surrounding debates with the goal of deriving a systematic approach to setting thresholds of research risk. (shrink)

Candidates for fundamental physical laws rarely, if ever, employ higher than second time derivatives. Easwaran sketches an enticing story that purports to explain away this puzzling fact and thereby provides indirect evidence for a particular set of metaphysical theses used in the explanation. I object to both the scope and coherence of Easwaran's account, before going on to defend an alternative, more metaphysically deflationary explanation: in interacting Lagrangian field theories, it is either impossible or very hard to incorporate higher than (...) second time derivatives without rendering the vacuum state unstable. The so-called Ostrogradski instability represents a powerful constraint on the construction of new field theories and supplies a novel, largely overlooked example of non-causal explanation in physics. (shrink)

Depuis la disparition du bloc soviétique émergent, dans les pays d'Europe centrale et orientale, des partis aux programmes attrape-tout et à la rhétorique démagogique. Même s'ils sont loin d'avoir raflé la mise lors des élections européennes de juin 2004, leurs leaders charismatiques pourraient bien à terme faire école, à la faveur du désarroi de populations précarisées par une libéralisation tous azimuts. Raison de plus pour être attentif au phénomène populiste que ces formations politiques et hommes incarnent, d'autant qu'il est présent (...) dans la plupart des vingt-cinq États de l'Union.Since the disappearance of the Soviet block political parties with simplifying programmes and demagogical rhetoric have been emerging in the countries of Central and Eastern Europe. Even if these were far from getting the upper hand at the last European elections in June 2004, their charismatic leaders might eventually set a model thanks to an outrageously liberal policy that has left the population helpless and confused and has jeopardized their situation. This one more reason to beware of the populist phenomenon embodied in those political groups and men, especially as this phenomenon is to be seen in most of the twenty-five states of the Union. (shrink)

In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...) are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level. (shrink)

We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by derivability conditions. First, we classify already known versions of the second incompleteness theorem, and exhibit some new sets of conditions which are sufficient for unprovability of Hilbert–Bernays’ consistency statement. Secondly, we improve Buchholz’s schematic proof of provable $\Sigma_1$ -completeness. Then among other things, we show that Hilbert–Bernays’ conditions and Löb’s conditions are (...) mutually incomparable. We also show that neither Hilbert–Bernays’ conditions nor Löb’s conditions accomplish Gödel’s original statement of the second incompleteness theorem. (shrink)

A Π01 class is an effectively closed set of reals. We study properties of these classes determined by cardinality, measure and category as well as by the complexity of the members of a class P. Given an effective enumeration {Pe:e < ω} of the Π01 classes, the index set I for a certain property is the set of indices e such that Pe has the property. For example, the index set of binary Π01 classes of positive measure is Σ02 complete. (...) Various notions of boundedness are discussed and classified. For example, the index set of the recursively bounded classes is Σ03 complete and the index set of the recursively bounded classes which have infinitely many recursive members is Π04 complete. Consideration of the Cantor-Bendixson derivative leads to index sets in the transfinite levels of the hyperarithmetic hierarchy. (shrink)

We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared persistent by default. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: • We prove a representation theorem for KM semantics in terms of a restricted subfamily (...) of the operators defined by our construction. • We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family. • Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts. (shrink)

We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a restricted subfamily of the (...) operators defined by our construction.We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family.Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts. (shrink)

The notion of fuzzy event is introduced in the theory of measurement in quantum mechanics by indicating in which sense measurements can be considered to yield fuzzy sets. The concept of probability measure on fuzzy events is defined, and its general properties are deduced from the operational meaning assigned to it. It is pointed out that such probabilities can be derived from the formalism of quantum mechanics. Any such probability on a given fuzzy set is related to the frequency (...) of occurrence within that set of points in a random sample, where the sample points are themselves fuzzy sets obtained as outcomes of measurements of, in general, incompatible observables on replicas of the system in the same prepared state. (shrink)

According to the standard reading of Kant's formula of universal law (FUL), positive duties can be derived from FUL. In this article, I argue that the standard reading does not work. In the first section, I articulate FUL and what I mean by a positive duty. In the second section, I set out an intuitive version of the standard reading of FUL and argue that it does not work. In the third section, I set out a more rigorous version (...) of the standard reading of FUL and argue that even this more rigorous version does not work. (shrink)

Ranking finite subsets of a given set X of elements is the formal object of analysis in this article. This problem has found a wide range of economic interpretations in the literature. The focus of the article is on the family of rankings that are additively representable. Existing characterizations are too complex and hard to grasp in decisional contexts. Furthermore, Fishburn (1996), Journal of Mathematical Psychology 40, 64–77 showed that the number of sufficient and necessary conditions that are needed to (...) characterize such a family has no upper bound as the cardinality of X increases. In turn, this article proposes a way to overcome these difficulties and allows for the characterization of a meaningful (sub)family of additively representable rankings of sets by means of a few simple axioms. Pattanaik and Xu’s (1990), Recherches Economiques de Louvain 56, 383–390) characterization of the cardinality-based rule will be derived from our main result, and other new rules that stem from our general proposal are discussed and characterized in even simpler terms. In particular, we analyze restricted-cardinality based rules, where the set of “focal” elements is not given ex-ante; but brought out by the axioms. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

The purpose of this paper is modelling and controlling the spread of COVID-19 disease in Morocco. A nonlinear mathematical model with two subclasses of infectious individuals is proposed. The population is divided into five classes, namely, susceptible, exposed, undiagnosed infectious, diagnosed patients, and removed individuals. To reflect the real dynamic of the COVID-19 transmission in Morocco, the real reported data are used for estimating model parameters. Two controls representing screening effort and limited treatment are considered. Based on viability theory and (...) set-valued analysis, a Lyapunov function is constructed such that both exposed and infected populations are decreased to zero asymptotically. The corresponding controls are derived via a continuous selection of adequately designed feedback map. Numerical simulations are presented with three scenarios. Our results show that when only one control is to be applied, screening is the most effective in decreasing the number of people in the three infected compartments, whereas combining both controls is found to be highly effective and leads to a significant improvement in the epidemiological situation of Morocco. To the best of our knowledge, this work is the first one that applies the set-valued approach to a controlled COVID-19 model which agrees with the observed cases in Morocco. (shrink)

Platelet‐derived growth factor (PDGF) was originally identified in platelets and in serum as a mitogen for fibroblasts, smooth muscle cells (SMC) and glia cells in culture. PDGF has since expanded to a family of dimers of at least four gene products, whose biological actions are mediated through two receptor tyrosine kinases, PDGFRs. The present review summarizes and discusses the biological functions of PDGFs and PDGFRs in developmental processes, mainly as revealed through genetic analysis in mice. Such studies have demonstrated (...) multiple critical roles of PDGFs and PDGFRs in embryonic and postnatal development. PDGFs seem to act upon specific populations of progenitor cells that give rise to several different cell types with distinct functions in a variety of developmental processes. Analogies are seen between the cell functions and the developmental processes controlled by PDGFs. This suggests that ancestral PDGF and PDGFR expression patterns and functions may have been iterated in related sets of morphogenetic processes in the course of evolution. BioEssays 23:494–507, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

A question dating to Mardešić and Prasolov’s 1988 work [S. Mardešić and A. V. Prasolov, Strong homology is not additive, Trans. Amer. Math. Soc. 307(2) (1988) 725–744], and motivating a considerable amount of set theoretic work in the years since, is that of whether it is consistent with the ZFC axioms for the higher derived limits [Formula: see text] [Formula: see text] of a certain inverse system [Formula: see text] indexed by [Formula: see text] to simultaneously vanish. An equivalent (...) formulation of this question is that of whether it is consistent for all [Formula: see text]-coherent families of functions indexed by [Formula: see text] to be trivial. In this paper, we prove that, in any forcing extension given by adjoining [Formula: see text]-many Cohen reals, [Formula: see text] vanishes for all [Formula: see text]. Our proof involves a detailed combinatorial analysis of the forcing extension and repeated applications of higher-dimensional [Formula: see text]-system lemmas. This work removes all large cardinal hypotheses from the main result of [J. Bergfalk and C. Lambie-Hanson, Simultaneously vanishing higher derived limits, Forum Math. Pi 9 (2021) e4] and substantially reduces the least value of the continuum known to be compatible with the simultaneous vanishing of [Formula: see text] for all [Formula: see text]. (shrink)

In the paper we explore the idea of describing Pawlak’s rough sets using three-valued logic, whereby the value t corresponds to the positive region of a set, the value f — to the negative region, and the undefined value u — to the border of the set. Due to the properties of the above regions in rough set theory, the semantics of the logic is described using a non-deterministic matrix (Nmatrix). With the strong semantics, where only the value t is (...) treated as designated, the above logic is a “common denominator” for Kleene and Łukasiewicz 3-valued logics, which represent its two different “determinizations”. In turn, the weak semantics—where both t and u are treated as designated—represents such a “common denominator” for two major 3-valued paraconsistent logics. We give sound and complete, cut-free sequent calculi for both versions of the logic generated by the rough set Nmatrix. Then we derive from these calculi sequent calculi with the same properties for the various “determinizations” of those two versions of the logic (including Łukasiewicz 3-valued logic). Finally, we show how to embed the four above-mentioned determinizations in extensions of the basic rough set logics obtained by adding to those logics a special two-valued “definedness” or “crispness” operator. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Motivated by the known mathematical and physical problems arising from the current mathematical formalization of the physical spatio-temporal continuum, as a substantial technical clarification of our earlier attempt (Etesi in Found Sci 25:327–340, 2020), the aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness present in the set of real numbers, a set-theoretic entropy is assigned to it using the Kullback–Leibler relative entropy of a pair of Riemannian (...) manifolds. Then exploiting the non-negativity of this relative entropy an abstract Hawking-like area theorem is derived. Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the set of real numbers in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole (proportional to the area of its “instantaneous” event horizon), indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

It is a well known fact that a common common causal explanation of the EPR scenario which consists in providing a local, non-conspiratorial common common cause system for a set of EPR correlations is excluded by various Bell inequalities. But what if we replace the assumption of a common common cause system by the requirement that each correlation of the set has a local, non-conspiratorial separate common cause system? In the paper we show that this move does not yield a (...) solution by providing a general recipe how to derive any Bell(δ) inequality—that is an inequality differing from some Bell inequality in a term of order of δ—from the assumption that an appropriate set of almost perfect anticorrelations has a separate common causal explanation. (shrink)

We strengthen a theorem of Gitik and Shelah [6] by showing that if κ is either weakly inaccessible or the successor of a singular cardinal and S is a stationary subset of κ such that $NS_{\kappa} \upharpoonright S$ is saturated then $\kappa \S$ is fat. Using this theorem we derive some results about the existence of fat stationary sets. We then strengthen some results due to Baumgartner and Taylor [2], showing in particular that if I is a $\lambda^{+++}-saturated$ normal ideal (...) on $P_{\kappa} \lambda$ then the conditions of being $\lambda^{+}-preserving$ , weakly presaturated, and presaturated are equivalent for I. (shrink)

The vast majority of health research resources are used to study conditions that affect a small, advantaged portion of the global population. This distribution has been widely criticized as inequitable and threatens to exacerbate health disparities. However, there has been little systematic work on what individual health research funders ought to do in response. In this article, we analyze the general and special duties of research funders to the different populations that might benefit from health research. We assess how these (...) duties apply to governmental, multilateral, nonprofit, and for-profit organizations. We thereby derive a framework for how different types of funders should take the beneficiaries of research into account when they allocate scarce research resources. (shrink)

We give an axiomatic characterization for complete elementary extensions, that is, elementary extensions of the first-order structure consisting of all finitary relations and functions on the underlying set. Such axiom systems have been studied using various types of primitive notions . Our system uses the notion of partial functions as primitive. Properties of nonstandard extensions are derived from five axioms in a rather algebraic way, without the use of metamathematical notions such as formulas or satisfaction. For example, when applied (...) to the real number system, it provides a complete framework for developing nonstandard analysis based on hyperreals without having to construct them and without any use of logic. This has possible pedagogical and expository applications as presented in, e.g., [5], [6]. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)