Relations between effect algebras with Riesz decomposition properties and AF C*-algebras are studied. The well-known one-one correspondence between countable MV-algebras and unital AF C*-algebras whose Murray-von Neumann order is a lattice is extended to any unital AF C* algebras and some more general effect algebras having the Riesz decomposition property. One-one correspondence between tracial states on AF C*-algebras and states on the corresponding effect algebras is proved. In particular, pure (faithful) tracial states correspond to extremal (...) (faithful) states on corresponding effect algebras. (shrink)

We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any σ-orthocomplete atomic effect algebra with the Riesz Decomposition Property is an MV-effect algebras, and we apply this result for pseudo-effect algebras and for states.

One kind of generalized measures called quantum measures on finite effect algebras, which fulfil the grade-2 additive sum rule, is considered. One basis of vector space of quantum measures on a finite effect algebra with the Riesz decomposition property (RDP for short) is given. It is proved that any diagonally positive symmetric signed measure \(\lambda \) on the tensor product \(E\otimes E\) can determine a quantum measure \(\mu \) on a finite effect algebra \(E\) with the RDP (...) such that \(\mu (x)=\lambda (x\otimes x)\) for any \(x\in E\) . Furthermore, some conditions for a grade-2 additive measure \(\mu \) on a finite effect algebra \(E\) are provided to guarantee that there exists a unique diagonally positive symmetric signed measure \(\lambda \) on \(E\otimes E\) such that \(\mu (x)=\lambda (x\otimes x)\) for any \(x\in E\) . At last, it is showed that any grade- \(t\) quantum measure on a finite effect algebra \(E\) with the RDP is essentially established by the values on a subset of \(E\). (shrink)

We show that every state on an interval pseudo effect algebra E satisfying an appropriate version of the Riesz Decomposition Property (RDP for short) is an integral through a regular Borel probability measure defined on the Borel σ-algebra of a Choquet simplex K. In particular, if E satisfies the strongest type of RDP, the representing Borel probability measure can be uniquely chosen to have its support in the set of the extreme points of K.

We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected with partially ordered groups not necessarily with strong unit. In such a case, starting even with an Abelian po-group, we can obtain a noncommutative pseudo effect algebra. We show how such kite pseudo effect algebras are tied with different types of the Riesz Decomposition Properties. Kites are so-called perfect pseudo effect algebras, and we define conditions when kite pseudo effect algebras have (...) the least non-trivial normal ideal. (shrink)

An observable on a quantum structure is any σ-homomorphism of quantum structures from the Borel σ-algebra of the real line into the quantum structure which is in our case a monotone σ-complete effect algebra with the Riesz Decomposition Property. We show that every observable is a smearing of a sharp observable which takes values from a Boolean σ-subalgebra of the effect algebra, and we prove that for every element of the effect algebra there corresponds a spectral measure.

Strong cell decomposition property has been proved in non-valuational weakly o-minimal expansions of ordered groups. In this note, we show that all o-minimal traces have strong cell decomposition property. Also after introducing the notion of irrational nonvaluational cut in arbitrary o-minimal structures, we show that every expansion of o-minimal structures by irrational nonvaluational cuts is an o-minimal trace.

The notion of a Sasaki projectionon an orthomodular lattice is generalized to a mapping Φ: E × E → E, where E is an effect algebra. If E is lattice ordered and Φ is symmetric, then E is called a Φ-symmetric effect algebra.This paper launches a study of such effect algebras. In particular, it is shown that every interval effect algebra with a lattice-ordered ambient group is Φ-symmetric, and its group is the one constructed by Ravindran in his proof that (...) every effect algebra that has the Riesz decomposition property is an interval algebra. It is shown that the doubling construction introduced in the paper is connected to the conditional event algebrasof Goodman, Nguyen, and Walker. (shrink)

We show that a finite orthomodular poset with a strong section Δ of states (probability measures) is distributive if and only if Δ has the unique Jordan-Hahn decomposition property(UJHDP). That this result does not extend to infinite orthomodular posets is shown by the projection lattices of von Neumann algebras without direct summand of typeI 2, for which the set of completely additive states is strong and has theUJHDP. There also exist nondistributive σ-classes for which the set of countably (...) additive states has theUJHDP. (shrink)

It is a well-known fact that MV-algebras, the algebraic counterpart of Łukasiewicz logic, correspond to a certain type of partial algebras: lattice-ordered effect algebras fulfilling the Riesz decomposition property. The latter are based on a partial, but cancellative addition, and we may construct from them the representing ℓ-groups in a straightforward manner. In this paper, we consider several logics differing from Łukasiewicz logics in that they contain further connectives: the PŁ-, PŁ'-, PŁ'△-, and ŁΠ-logics. For all their (...) algebraic counterparts, we characterise the corresponding type of partial algebras. We moreover consider the representing f-rings. All in all, we get three-fold correspondences: the total algebras - the partial algebras - the representing rings. (shrink)

We study perfect effect algebras, that is, effect algebras with the Riesz decomposition property where every element belongs either to its radical or to its co-radical. We define perfect effect algebras with principal radical and we show that the category of such effect algebras is categorically equivalent to the category of unital po-groups with interpolation. We introduce an observable on a \-monotone \-complete perfect effect algebra with principal radical and we show that observables are in a one-to-one (...) correspondence with spectral resolutions of observables. (shrink)

Let $$ {\mathcal {M}}=(M, <, \ldots ) $$ be a weakly o-minimal structure. Assume that $$ {\mathcal {D}}ef({\mathcal {M}})$$ is the collection of all definable sets of $$ {\mathcal {M}} $$ and for any $$ m\in {\mathbb {N}} $$, $$ {\mathcal {D}}ef_m({\mathcal {M}}) $$ is the collection of all definable subsets of $$ M^m $$ in $$ {\mathcal {M}} $$. We show that the structure $$ {\mathcal {M}} $$ has the strong cell decomposition property if and only if (...) there is an o-minimal structure $$ {\mathcal {N}} $$ such that $$ {\mathcal {D}}ef({\mathcal {M}})=\{Y\cap M^m: \ m\in {\mathbb {N}}, Y\in {\mathcal {D}}ef_m({\mathcal {N}})\} $$. Using this result, we prove that: (a) Every induced structure has the strong cell decomposition property. (b) The structure $$ {\mathcal {M}} $$ has the strong cell decomposition property if and only if the weakly o-minimal structure $$ {\mathcal {M}}^*_M $$ has the strong cell decomposition property. Also we examine some properties of non-valuational weakly o-minimal structures in the context of weakly o-minimal structures admitting the strong cell decomposition property. (shrink)

The Jordan-Hahn decomposition and the Lebesgue decomposition, two basic notions of classical measure theory, are generalized for measures on orthomodular posets. The Jordan-Hahn decomposition property (JHDP) and the Lebesgue decomposition property (LDP) are defined for sections Δ of probability measures on an orthomodular poset L. If L is finite, then these properties can be characterized geometrically in terms of two parallelity relations defined on the set of faces of Δ. A section Δ is shown (...) to have the JHDP if and only if every pair of f-parallel faces is p-parallel; it is shown to have the LDP if and only if every pair of disjoint faces is p-parallel. It follows from these results that the LDP is stronger than the JHDP in the setting of finite orthomodular posets. Mielnik's convex scheme of quantum theory provides the frame for a physical interpretation of these results. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with (...) one notion of decomposition, which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

My main reaction to MCGivern’s paper was one of dialectical puzzlement. Block argues that, Macro Non-Reduction: [all] macro properties are irreducible to the micro properties on which they supervene..

C-minimality is a variant of o-minimality in which structures carry, instead of a linear ordering, a ternary relation interpretable in a natural way on set of maximal chains of a tree. This notion is discussed, a cell-decomposition theorem for C-minimal structures is proved, and a notion of dimension is introduced. It is shown that C-minimal fields are precisely valued algebraically closed fields. It is also shown that, if certain specific ‘bad’ functions are not definable, then algebraic closure has the (...) exchange property, and for definable sets dimension coincides with the rank obtained from algebraic closure. (shrink)

We prove that forp-optimal fields a cell decomposition theorem follows from methods going back to Denef’s paper [7]. We derive from it the existence of definable Skolem functions and strongp-minimality. Then we turn to stronglyp-minimal fields satisfying the Extreme Value Property—a property which in particular holds in fields which are elementarily equivalent to ap-adic one. For such fieldsK, we prove that every definable subset ofK×Kdwhose fibers overKare inverse images by the valuation of subsets of the value group (...) is semialgebraic. Combining the two we get a preparation theorem for definable functions onp-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are in definable bijection iff they have the same dimension. (shrink)

We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition is based on the properties of the congruence lattices of algebras. We consider four properties of lattices: atomic, atomless, locally uniform and anti-uniform. In effect, we describe a star-decomposition of a given algebra with modular congruence lattice into two or three parts associated to these properties.

In this paper we argue that an operational organism concept can help to overcome the structural deficiency of mathematical models in biology. In our opinion, the structural deficiency of mathematical models lies mainly in our inability to identify functionally relevant biological characters in biological systems, and not so much in a lack of adequate mathematical representations of biological processes. We argue that the problem of character identification in biological systems is linked to the question of a properly formulated organism concept. (...) Lastly, we demonstrate how a decomposition of an organism into independent characters in the context of a specific biological process--such as adaptation by means of natural selection--depends on the dynamical properties and invariance conditions of the equations that describe this process. (shrink)

Continuous extension cell decomposition in o-minimal structures was introduced by Simon Andrews to establish the open cell property in those structures. Here, we define strong $\mathrm{CE}$-cells in weakly o-minimal structures, and prove that every weakly o-minimal structure with strong cell decomposition has $\mathrm{SCE}$-cell decomposition if and only if its canonical o-minimal extension has $\mathrm{CE}$-cell decomposition. Then, we show that every weakly o-minimal structure with $\mathrm{SCE}$-cell decomposition satisfies $\mathrm{OCP}$. Our last result implies that every o-minimal (...) structure in which every definable open set is a union of finitely many open $\mathrm{CE}$-cells, has $\mathrm{CE}$-cell decomposition. (shrink)

A detailed theoretical analysis is presented of what five utility representations – subjective expected utility (SEU), rank-dependent (cumulative or Choquet) utility (RDU), gains decomposition utility (GDU), rank weighted utility (RWU), and a configural-weight model (TAX) that we show to be equivalent to RWU – say about a series of independence properties, many of which were suggested by M. H. Birnbaum and his coauthors. The goal is to clarify what implications to draw about the descriptive aspects of the representations from (...) data concerning these properties. The upshot is a sharp rejection of SEU and RDU and no clear choice between GDU and TAX, but a list of 8 properties is given that should receive more attention to discriminate between the latter two models. (shrink)

Attempts to introduce Gestalt theory into the realm of visual neuroscience are discussed on both theoretical and experimental grounds. To define the framework in which these proposals can be defended, this paper outlines the characteristics of a standard model, which qualifies as a received view in the visual neurosciences, and of the research into natural images statistics. The objections to the standard model and the main questions of the natural images research are presented. On these grounds, this paper defends the (...) view that Gestalt psychology and experimental phenomenology provide a contribution to the research into perception by the construction of phenomenological models for an ecologically meaningful interpretation of the empirical evidence and the hypothetical constructs of the natural image research within the visual neuroscience. A formal framework for the phenomenological models is proposed, wherein Gestalt theoretical principles and empirical evidence are represented in terms of topological properties and relationships, which account for the order and structures that make the environment accessible to observers at a relevant behavioural level. It is finally argued that these models allow us to evaluate the principles and the empirical evidence of various natures which are integrated from different fields into the research into perception, and in particular into visual neurosciences. (shrink)

The study of ergodic theorems from the viewpoint of computable analysis is a rich field of investigation. Interactions between algorithmic randomness, computability theory and ergodic theory have recently been examined by several authors. It has been observed that ergodic measures have better computability properties than non-ergodic ones. In a previous paper we studied the extent to which non-ergodic measures inherit the computability properties of ergodic ones, and introduced the notion of an effectively decomposable measure. We asked the following question: if (...) the ergodic decomposition of a stationary measure is finite, is this decomposition effective? In this paper we answer the question in the negative. (shrink)

Let M=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}=}$$\end{document} be a weakly o-minimal expansion of a dense linear order without endpoints. Some tame properties of sets and functions definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} which hold in o-minimal structures, are examined. One of them is the intermediate value property, say IVP. It is shown that strongly continuous definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} satisfy an (...) extended version of IVP. After introducing a weak version of definable connectedness in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document}, we prove that strong cells in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} are weakly definably connected, so every set definable in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} is a finite union of its weakly definably connected components, provided that M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has the strong cell decomposition property. Then, we consider a local continuity property for definable functions in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} and conclude some results on cell decomposition regarding that property. Finally, we extend the notion of having no dense graph which was examined for definable functions in and related to uniform finiteness, definable completeness, and others. We show that every weakly o-minimal structure M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} having cell decomposition, satisfies NDG, i.e. every definable function in M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal{M}}}$$\end{document} has no dense graph. (shrink)

In the empirical logic approach to quantum mechanics, the physical system under consideration is given in terms of a manual of sample spaces. The resulting propositional structure has been shown to form an orthoalgebra, generalizing the structure of an orthomodular poset. An orthoalgebra satisfies the unique Mackey decomposition (UMD) property if, given two commuting propositions a and b, there is a unique jointly orthogonal triple (e, f, c) such that a=e⊕c and b=f⊕c. In a manual, E is refined (...) by F if E is logically equivalent to some partition of F, making results from F at least as informative as those from E. The main result is a characterization of the UMD property in terms of the refinement structure of an underlying manual, provided the manual is event saturated and orthogonally additive. (shrink)

Structural properties are properties something has in virtue of its mereological structure in that they are properties whose instantiation by a particular involves the parts of the particular being propertied and related in the appropriate way. Most of the literature on structural properties has focused on problems that arise from the pairing of two assumptions: (1) structural properties are universals and (2) structural properties are, in some sense, composed of the properties they involve. Chief among these difficulties is David Lewis’ (...) claim that the conjunction of (1) and (2) require non-unique composition and hence entail the denial of the extensionality of parthood: butane, as well as methane, is composed of the universals carbon, hydrogen and bonded, yet they are distinct properties. This is the extensionality problem. In this paper I discuss a different problem for the conjunction of (1) and (2) and propose a single solution to both problems. First, in section two, I introduce the idea of multiple decomposition and suggest that at least some structural properties are multiply decomposable. In section three, I introduce the “problem of multiple decompositions.” This problem arises when it seems possible for a structural property to be composed of some xs and some ys even when the xs ≠ ys. Finally, in section four I show how both problems admit of a single solution by focusing on the parthood relation that holds between structural properties and their constituents. While the solution I propose is theoretically costly, I argue that this cost should be paid to retain both (1) and (2). (shrink)

Climate dynamics and trends have significant environmental and socioeconomic impacts; however, in the Benin Republic, they are generally studied with diverse statistical methods ignoring the nonstationarity, nonlinearity, and self-similarity characteristics contained in precipitation time series. This can lead to erroneous conclusions and an unclear understanding of climatic dynamics. Based on daily precipitation data observed in the six synoptic stations of Benin Republic, in the period from 1951 to 2010, we have proposed determining the local trends of precipitations, investigating precipitation nonlinear (...) dynamics, and assessing climatic shift in the study period by Ensemble Empirical Mode Decomposition and Multifractal Detrended Fluctuation Analysis method. To overcome the detrending issue in the standard MFDFA method, the EEMD algorithm is embedded into the MFDFA. The study period is subdivided into three subperiods: 1951–1970, 1971–1990, and 1991–2010. Intrinsic Mode Functions are obtained according to the climatic region in which the stations are located. Results show that precipitation variation is significantly governed by the five first IMFs, in which oscillation periods vary from 1 to 25 days. The trend curves decrease at all the synoptic stations, and their slope values vary accordingly to the subperiods. Referring to the values of the multifractal spectrum parameters, α 0, and the width of the spectrum w, consistent changes are observed regardless of the subperiods and the concerned stations. The spatial and temporal variability of precipitation indicates that the multifractal properties are good indicators for assessing changes in precipitation dynamics, and the changes in their features could be explained by the global change than by the local climate variation. Despite the observed differences in multifractal spectra properties from the three subperiods, it is not possible to verify the subdivision of 1951–2010 in three subperiods as it is done by previous studies in West Africa. Our findings can be used in the validation of global and regional climate models since a valid model should explain empirically detected scaling properties in observed data. (shrink)

New conjunctionlike and disjunctionlike operations on orthomodular lattices are defined with the aid of formal Mackey decompositions of not necessarily compatible elements. Various properties of these operations are studied. It is shown that the new operations coincide with the lattice operations of join and meet on compatible elements of a lattice but they necessarily differ from the latter on all elements that are not compatible. Nevertheless, they define on an underlying set the partial order relation that coincides with the original (...) one. The new operations are in general nonassociative: if they are associative, a lattice is necessarily Boolean. However, they satisfy the Foulis-Holland-type theorem concerning associativity instead of distributivity. (shrink)

We define and investigate a uniformly locally o-minimal structure of the second kind in this paper. All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version of monotonicity theorem of o-minimal structures. We also demonstrate a local definable cell decomposition theorem for definably complete uniformly locally o-minimal structures of the second kind. We define dimension of a definable set and investigate its basic properties when the given structure is a locally o-minimal structure (...) which admits local definable cell decomposition. (shrink)

In this paper we argue that an operational organism concept can help to overcome the structural deficiency of mathematical models in biology. In our opinion, the structural deficiency of mathematical models lies mainly in our inability to identify functionally relevant biological characters in biological systems, and not so much in a lack of adequate mathematical representations of biological processes. We argue that the problem of character identification in biological systems is linked to the question of a properly formulated organism concept. (...) Lastly, we demonstrate how a decomposition of an organism into independent characters in the context of a specific biological process—such as adaptation by means of natural selection—depends on the dynamical properties and invariance conditions of the equations that describe this process. (shrink)

Ulm’s Theorem presents invariants that classify countable abelian torsion groups up to isomorphism. Barwise and Eklof extended this result to the classification of arbitrary abelian torsion groups up to L∞ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L_{\infty \omega }$$\end{document}-equivalence. In this paper, we extend this classification to a class of mixed Zp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {Z}}_p$$\end{document}-modules which includes all Warfield modules and is closed under L∞ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$$L_{\infty \omega }$$\end{document}-equivalence. The defining property of these modules is the existence of what we call a partial decomposition basis, a generalization of the concept of decomposition basis. We prove a complete classification theorem in L∞ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L_{\infty \omega }$$\end{document} using invariants deduced from the classical Ulm and Warfield invariants. (shrink)

The Socratic discussion in the Hippias Major, 300-303, is not a passing comment on plural reference; it is a theory of plural subjecthood. It has escaped attention because it is a small part of a larger complex argument on the topic of which pleasures are fine. Socrates’s theory is further concealed by the fact that it is presented as an antithesis between Hippias and himself, whereas in fact, Hippias’s position becomes part of Socrates’s theory. I begin by examining Hippias’s position, (...) and subsequently Socrates’ criticism of it. I then turn to Socrates’s further proposal, and the development of a theory of plural subjects that incorporates elements of Hippias’s position, and Socrates’s own. At the end, I address the question of the ontology of plural subjects. I argue that the key to sharing a property between subjects is not in the way that the plural terms refer to these subjects, or in any decomposition of the commonly owned property instance into parts distributed to these subjects. Rather, I follow Socrates in finding the common ownership of a property instance central to plural subjecthood, and develop an account of how this metaphysical function can be performed by the plural subjects without threatening their distinctness and plurality. (shrink)

The concept of “acculturation” is closely linked to the history of European colonialism. In spite of all efforts to endow it with a “neutral” or “positive” meaning, the term has never meant anything other than the subjection of indigenous cultures to Western civilization in all its forms.

In this article, a new adaptive data-driven strategy for voice activity detection using empirical mode decomposition is proposed. Speech data are decomposed using an a posteriori, adaptive, data-driven EMD in the time domain to yield a set of physically meaningful intrinsic mode functions. Each IMF preserves the nonlinear and nonstationary property of the speech utterance. Among a set of IMFs, the IMF that contains source information dominantly called characteristic IMF can be identified and extracted by designing a zero-frequency (...) filter-assisted peaking resonator. The detected CIMF is used to compute energy using short-term processing. Choosing proper threshold, voiced regions in speech utterances are detected using frame energy. The proposed framework has been studied on both clean speech utterance and noisy speech utterance. The proposed method is used for voice activity detection in the presence of white noise and shows encouraging result in the presence of white noise up to 0 dB. (shrink)

Hausdorff's paradoxical decomposition of a sphere with countably many points removed actually produced a partition of this set into three pieces A,B,C such that A is congruent to B, B is congruent to C, and A is congruent to B ∪ C. While refining the Banach–Tarski paradox, R. Robinson characterized the systems of congruences like this which could be realized by partitions of the sphere with rotations witnessing the congruences: the only nontrivial restriction is that the system should not (...) require any set to be congruent to its complement. Later, J. F. Adams showed that this restriction can be removed if one allows arbitrary isometries of the sphere to witness the congruences. The purpose of this paper is to characterize those systems of congruences which can be satisfied by partitions of the sphere or related spaces into sets with the property of Baire. A paper of Dougherty and Foreman gives a proof that the Banach–Tarski paradox can be achieved using such sets, and gives versions of this result using open sets and related results about partitions of spaces into congruent sets. The same method is used here; it turns out that only one additional restriction on a system of congruences is needed to make it solvable using subsets of the sphere with the property of Baire with free rotations witnessing the congruences. Actually, the result applies to any complete metric space acted on in a sufficiently free way by a free group of homeomorphisms. We also characterize the systems solvable on the sphere using sets with the property of Baire but allowing all isometries. (shrink)

Dual combinators emerge from the aim of assigning formulas containing ← as types to combinators. This paper investigates formally some of the properties of combinatory systems that include both combinators and dual combinators. Although the addition of dual combinators to a combinatory system does not affect the unique decomposition of terms, it turns out that some terms might be redexes in two ways (with a combinator as its head, and with a dual combinator as its head). We prove a (...) general theorem stating that no dual combinatory system possesses the Church-Rosser property. Although the lack of confluence might be problematic in some cases, it is not a problem per se. In particular, we show that no damage is inflicted upon the structurally free logics, the system in which dual combinators first appeared. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

In Ref. 1 we have considered the finite-dimensional quantum mechanics. There the quantum mechanical space of states wasV=C r. It is known that the second quantization of this space is the space of square-summable functions of finite number of variables(L 2(Rr,dx)) (Segal isomorphism). Creation and annihilation operators were introduced in Ref. 1, and the former coincided with the usual position and momentum operators in the conventional quantum mechanics. In this paper we shall investigate the spectral properties of field operators. We (...) shall show that the isomorphism between the exponential ofV andL 2(Rr,dx) can be understood as the decomposition by generalized eigenvectors of field operators (“Fourier transform”). (shrink)

Transcranial magnetic stimulation (TMS) is a method capable of transiently modulating neural excitability. Depending on the stimulation parameters information processing in the brain can be either enhanced or disrupted. This way the contribution of different brain areas involved in mental processes can be studied, allowing a functional decomposition of cognitive behavior both in the temporal and spatial domain, hence providing a functional resolution of brain/mind processes. The aim of the present paper is to argue that TMS with its ability (...) to draw causal inferences on function and its neural representations is a valuable neurophysiological tool for investigating the causal basis of neuronal functions and can provide substantive insight into the modern interdisciplinary and (anti)reductionist neurophilosophical debates concerning the relationships between brain functions and mental abilities. Thus, TMS can serve as a heuristic method for resolving causal issues in an arena where only correlative tools have traditionally been available. (shrink)

Transcranial magnetic stimulation (TMS) is a method capable of transiently modulating neural excitability. Depending on the stimulation parameters information processing in the brain can be either enhanced or disrupted. This way the contribution of different brain areas involved in mental processes can be studied, allowing a functional decomposition of cognitive behavior both in the temporal and spatial domain, hence providing a functional resolution of brain/mind processes. The aim of the present paper is to argue that TMS with its ability (...) to draw causal inferences on function and its neural representations is a valuable neurophysiological tool for investigating the causal basis of neuronal functions and can provide substantive insight into the modern interdisciplinary and (anti)reductionist neurophilosophical debates concerning the relationships between brain functions and mental abilities. Thus, TMS can serve as a heuristic method for resolving causal issues in an arena where only correlative tools have traditionally been available. (shrink)