Assume$G\prec H$are groups and${\cal A}\subseteq {\cal P}(G),\ {\cal B}\subseteq {\cal P}(H)$are algebras of sets closed under left group translation. Under some additional assumptions we find algebraic connections between the Ellis [semi]groups of theG-flow$S({\cal A})$and theH-flow$S({\cal B})$. We apply these results in the model theoretic context. Namely, assumeGis a group definable in a modelMand$M\prec ^* N$. Using weak heirs and weak coheirs we point out some algebraic connections between the Ellis semigroups$S_{ext,G}(M)$and$S_{ext,G}(N)$. Assuming every minimal left ideal in$S_{ext,G}(N)$is a group we prove (...) that the Ellis groups of$S_{ext,G}(M)$are isomorphic to closed subgroups of the Ellis groups of$S_{ext,G}(N)$. (shrink)

Assume that G is a definable group in a stable structure M. Newelski showed that the semigroup SG of complete types concentrated on G is an inverse limit of the ∞-definable semigroups SG,Δ. He also showed that it is strongly π-regular: for every p∈SG,Δ, there exists n∈N such that pn is in a subgroup of SG,Δ. We show that SG,Δ is in fact an intersection of definable semigroups, so SG is an inverse limit of definable semigroups, and that the (...) latter property is enjoyed by all ∞-definable semigroups in stable structures. (shrink)

We give a commentary on Newelski's suggestion or conjecture [8] that topological dynamics, in the sense of Ellis [3], applied to the action of a definable group $G(M)$ on its “external type space” $S_{G,\textit{ext}}(M)$, can explain, account for, or give rise to, the quotient $G/G^{00}$, at least for suitable groups in NIP theories. We give a positive answer for measure-stable (or $fsg$) groups in NIP theories. As part of our analysis we show the existence of “externally definable” generics of $G(M)$ (...) for measure-stable groups. We also point out that for $G$ definably amenable (in a NIP theory) $G/G^{00}$ can be recovered, via the Ellis theory, from a natural Ellis semigroup structure on the space of global $f$-generic types. (shrink)

Assume G is a superstable locally modular group. We describe for any countable model M of Th(G) the quotient group G(M) / Gm(M). Here Gm is the modular part of G. Also, under some additional assumptions we describe G(M) / Gm(M) relative to G⁻(M). We prove Vaught's Conjecture for Th(G) relative to Gm and a finite set provided that ℳ(G) = 1 and the ring of pseudoendomorphisms of G is finite.

AssumeGis a group definable in a modelMof a stable theoryT. We prove that the semigroupSG(M) of completeG-types overMis an inverse limit of some semigroups type-definable inMeq. We prove that the maximal subgroups ofSG(M) are inverse limits of some definable quotients of subgroups ofG. We consider the powers of types in the semigroupSG(M) and prove that in a way every type inSG(M) is profinitely many steps away from a type in a subgroup ofSG(M).

T is stable. We define the notion of meager regular type and prove that a meager regular type is locally modular. Assuming I < 2o and G is a definable abelian group with locally modular regular generics, we prove a counterpart of Saffe's conjecture. Using these results, for superstable T we prove the conjecture of vanishing multiplicities. Also, as a further application, in some additional cases we prove a conjecture regarding topological stability of pseudo-types over Q.

This is a continuation of [N2]. We find a Borel definition of Q-isolation. We pursue a topological and Scott analysis of pseudotypes on S(Q).

We consider a small supersimple theory with a property (CS) (close to stability). We prove that if in such a theoryTthere is a typep∈S(A) (whereAis finite) withSU(p) = 1 and infinitely many extensions overacleq(A), then inTthere is a modular such type. Also, ifTis supersimple with (CS) andp∈S(∅) is isolated,SU(p) = 1 andphas infinitely many extensions overacleq(∅), thenpis modular.

Assume T is stable, small and Φ(x) is a formula of L(T). We study the impact on $T\lceil\Phi$ of naming finitely many elements of a model of T. We consider the cases of $T\lceil\Phi$ which is ω-stable or superstable of finite rank. In these cases we prove that if T has $ countable models and Q = Φ(M) is countable and atomic or saturated, then any good type in S(Q) is τ-stable. If $T\lceil\Phi$ is ω-stable and (bounded, 1-based or of (...) finite rank) with $I(T, \aleph_0) , then we prove that every good p ∈ S(Q) is τ-stable for any countable Q. The proofs of these results lead to several new properties of small stable theories, particularly of types of finite weight in such theories. (shrink)

We prove Vaught's conjecture for minimal trivial simple theories satisfying the generalized independence theorem.

Let [Formula: see text] be a monster model of an arbitrary theory [Formula: see text], let [Formula: see text] be any tuple of bounded length of elements of [Formula: see text], and let [Formula: see text] be an enumeration of all elements of [Formula: see text]. By [Formula: see text] we denote the compact space of all complete types over [Formula: see text] extending [Formula: see text], and [Formula: see text] is defined analogously. Then [Formula: see text] and [Formula: see (...) text] are naturally [Formula: see text]-flows. We show that the Ellis groups of both these flows are of bounded size, providing an explicit bound on this size. Next, we prove that these Ellis groups do not depend on the choice of the monster model [Formula: see text]; thus, we say that these Ellis groups are absolute. We also study minimal left ideals of the Ellis semigroups of the flows [Formula: see text] and [Formula: see text]. We give an example of a NIP theory in which the minimal left ideals are of unbounded size. Then we show that in each of these two cases, boundedness of a minimal left ideal is an absolute property and that whenever such an ideal is bounded, then in some sense its isomorphism type is also absolute. Under the assumption that [Formula: see text] has NIP, we give characterizations of when a minimal left ideal of the Ellis semigroup of [Formula: see text] is bounded. Then we adapt the proof of Theorem 5.7 in Definably amenable NIP groups, J. Amer. Math. Soc. 31 609–641 to show that whenever such an ideal is bounded, a certain natural epimorphism 863–932]) from the Ellis group of the flow [Formula: see text] to the Kim–Pillay Galois group [Formula: see text] is an isomorphism. We also obtain some variants of these results, formulate some questions, and explain differences which occur when the flow [Formula: see text] is replaced by [Formula: see text]. (shrink)

We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures including equivalence structures, orderings, Boolean algebras, and relatively complemented distributive lattices. For certain subsemigroups of these inverse semigroups, isomorphism of the subsemigroups yields isomorphism of the underlying structures. We also prove that for some classes of computable structures, we can reconstruct a computable structure, up to computable isomorphism, from the isomorphism type of its inverse semigroup of (...) computable partial automorphisms. (shrink)

We establish that the isomorphism problem for the classes of computable nilpotent rings, distributive lattices, nilpotent groups, and nilpotent semigroups is \-complete, which is as complicated as possible. The method we use is based on uniform effective interpretations of computable binary relations into computable structures from the corresponding algebraic classes.

On the set of all first-order complete theories $$T(\sigma )$$ of a language $$\sigma $$ we define a binary operation $$\{\cdot \}$$ by the rule: $$T\cdot S= {{\,\textrm{Th}\,}}(\{A\times B\mid A\models T \,\,\text {and}\,\, B\models S\})$$ for any complete theories $$T, S\in T(\sigma )$$. The structure $$\langle T(\sigma );\cdot \rangle $$ forms a commutative semigroup. A subsemigroup S of $$\langle T(\sigma );\cdot \rangle $$ is called an absorption’s formula definable semigroup if there is a complete theory $$T\in T(\sigma )$$ (...) such that $$S=\langle \{X\in T(\sigma )\mid X\cdot T=T\};\cdot \rangle $$. In this event we say that a theory T absorbs S. In the article we show that for any absorption’s formula definable semigroup S the class $${{\,\textrm{Mod}\,}}(S)=\{A\in {{\,\textrm{Mod}\,}}(\sigma )\mid A\models T_0\,\,\text {for some}\,\, T_0\in S\}$$ is axiomatizable, and there is an idempotent element $$T\in S$$ that absorbs S. Moreover, $${{\,\textrm{Mod}\,}}(S)$$ is finitely axiomatizable provided T is finitely axiomatizable. We also prove that $${{\,\textrm{Mod}\,}}(S)$$ is a quasivariety (variety) provided T is an universal (a positive universal) theory. Some examples are provided. (shrink)

A formulation of relativistic quantum mechanics is presented independent of the theory of Hilbert space and also independent of the hypothesis of spacetime manifold. A hierarchy is established in the nondistributive lattice of physical ensembles, and it is shown that the projections relating different members of the hierarchy form a semigroup. It is shown how to develop a statistical theory based on the definition of a statistical operator. Involutions defined on the matrix representations of the semigroup are interpreted (...) in terms ofCPT conjugations. The theory of particles of spin one-half and systems with higher spin is developed from first principles. Methods are also developed for defining energy, momentum, orbital angular momentum, and weighted spacetime coordinates without reference to a manifold. (shrink)

In this paper we present the concept of neutrosophic quadruple algebraic structures. Specially, we study neutrosophic quadruple rings and we present their elementary properties.

We consider the investigation of the embedding of semigroups in groups, a problem which spans the early-twentieth-century development of abstract algebra. Although this is a simple problem to state, it has proved rather harder to solve, and its apparent simplicity caused some of its would-be solvers to go awry. We begin with the analogous problem for rings, as dealt with by Ernst Steinitz, B. L. van der Waerden and Øystein Ore. After disposing of A. K. Sushkevich’s erroneous contribution in this (...) area, we present A. I. Maltsev’s example of a cancellative semigroup which may not be embedded in a group, which showed for the first time that such an embedding is not possible in general. We then look at the various conditions that were derived for such an embedding to take place: the sufficient conditions of Paul Dubreil and others, and the necessary and sufficient conditions obtained by A. I. Maltsev, Vlastimil Pták and Joachim Lambek. We conclude with some comments on the place of this problem within the theory of semigroups, and also within abstract algebra more generally. (shrink)

Relations between some theories of semigroups (also known as theories of strings or theories of concatenation) and arithmetic are surveyed. In particular Robinson's arithmetic Q is shown to be mutually interpretable with TC, a weak theory of concatenation introduced by Grzegorczyk. Furthermore, TC is shown to be interpretable in the theory F studied by Tarski and Szmielewa, thus confirming their claim that F is essentially undecidable.

Two approaches toward the arrow of time for scattering processes have been proposed in rigged Hilbert space quantum mechanics. One, due to Arno Bohm, involves preparations and registrations in laboratory operations and results in two semigroups oriented in the forward direction of time. The other, employed by the Brussels-Austin group, is more general, involving excitations and de-excitations of systems, and apparently results in two semigroups oriented in opposite directions of time. It turns out that these two time arrows can be (...) related to each other via Wigner's extensions of the spacetime symmetry group. Furthermore, their are subtle differences in causality as well as the possibilities for the existence and creation of time-reversed states depending on which time arrow is chosen. (shrink)

The technique of covers is now well established in semigroup theory. The idea is, given a semigroup S, to find a semigroup having a better understood structure than that of S, and an onto morphism of a specific kind from to S. With the right conditions on , the behaviour of S is closely linked to that of . If S is finite one aims to choose a finite . The celebrated results for inverse semigroups of McAlister (...) in the 1970s form the flagship of this theory.Weakly left quasi-ample semigroups form a quasivariety (of algebras of type(2, 1)), properly containing the classes of groups, and of inverse, left ample, and weakly left ample semigroups. We show how the existence of finite proper covers for semigroups in this quasivariety is a consequence of Ashs powerful theorem for pointlike sets. Our approach is to obtain a cover of a weakly left quasi-ample semigroup S as a subalgebra of S × G, where G is a group. It follows immediately from the fact that weakly left quasi-ample semigroups form a quasivariety, that is weakly left quasi-ample. We can then specialise our covering results to the quasivarieties of weakly left ample, and left ample semigroups. The latter have natural representations as (2, 1)-subalgebras of partial (one-one) transformations, where the unary operation takes a transformation to the identity map in the domain of . In the final part of this paper we consider representations of weakly left quasi-ample semigroups. (shrink)

Hahn’s embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn’s theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial lexicographic product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for odd involutive commutative residuated chains (...) which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial lexicographic product construction is presented. (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n (...) = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

The aim of this paper is to analyze time-asymmetric quantum mechanics with respect to the problems of irreversibility and of time's arrow. We begin with arguing that both problems are conceptually different. Then, we show that, contrary to a common opinion, the theory's ability to describe irreversible quantum processes is not a consequence of the semigroup evolution laws expressing the non-time-reversal invariance of the theory. Finally, we argue that time-asymmetric quantum mechanics, either in Prigogine's version or in Bohm's version, (...) does not solve the problem of the arrow of time because it does not supply a substantial and theoretically founded criterion for distinguishing between the two directions of time. (shrink)

For a quasi variety of algebras K, the Higman Theorem is said to be true if every recursively presented K-algebra is embeddable into a finitely presented K-algebra; the Generalized Higman Theorem is said to be true if any K-algebra which is recursively presented over its finitely generated subalgebra is embeddable into a K-algebra which is finitely presented over this subalgebra. We suggest certain general conditions on K under which the Higman Theorem implies the Generalized Higman Theorem; a finitely generated K-algebra (...) A is embeddable into every existentially closed K-algebra containing a finitely generated K-algebra B if and only if the word problem for A is Q-reducible to the word problem for B. The quasi varieties of groups, torsion-free groups, and semigroups satisfy these conditions. (shrink)

The baker's transformation is one of the earliest and simplest examples of a bijective mixing transformation. By determining its cycle structure, we show that this transformation is not embeddable in any flow, i.e., one-parameter semigroup, on the nonnegative rationals and,a fortiori, not emdeddable in any flow on the reals.

We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms and satisfying the existence of m-independent extensions (we call them compact e-structures). We analyze the relationships between smallness and different versions of the assumption of the existence of m-independent extensions and we obtain some topological consequences of these assumptions. Using them, we adopt Newelski's proofs of various results about small profinite structures to compact e-structures. (...) In particular, we notice that a variant of the group configuration theorem holds in this context. A general construction of compact structures is described. Using it, a class of examples of compact e-structures which are not small is constructed. It is also noticed that in an m-stable compact e-structure every orbit is equidominant with a product of m-regular orbits. (shrink)

The author's purpose is to read the main work of Euclid “with modern eyes” and to find out what knowledge a mathematician of today, familiar with the works of V. D. Waerden and Bourbaki, can gain by studying Euclid's “theory of magnitudes”, and what new insight into Greek mathematics occupation with this subject can provide. The task is to analyse and to axiomatize by modern means (i) in a narrower sense Book V. of the Elements, i.e. the theory of proportion (...) of Eudoxus, (ii) in a wider sense the whole sphere of magnitudes which Euclid applies in his Elements. This procedure furnishes a clear picture of the inherent structure of his work, thereby making visible specific characteristics of Greek mathematics. After a clarification of the preconditions and a short survey of the historical development of the theory of proportions (Part I of this work), an exact analysis of the definitions and propositions of Book V. of the Elements is carried out in Part II. This is done “word by word”. The author applies his own system of axioms, set up in close accordance with Euclid, which permits one to deduce all definitions and propositions of Euclid's theory of magnitudes (especially those of Books V. and VI.). In this way gaps and “tacit assumptions” in the work become clearly visible; above all, the logical structure of the system of magnitudes given by Euclid becomes evident: not “ratio” — like something sui generis — is the governing concept of Book V., but magnitudes and their relation “of having a ratio” form the base of the theory of proportions. These magnitudes represent a well defined structure, a so-called “Eudoxic Semigroup” with the numbers as operators; it can easily be imbedded in a general theory of magnitudes equally applicable to geometry and physics. The transition to ratios — a step not executed by Euclid — is examined in Part III; it turns out to be particularly unwieldy. An elegant way opens up by interpreting proportion as a mapping of totally ordered semigroups. When closely examined, this mapping proves to be an isomorphism, thus suggesting the application of the modern theory of homomorphism. This theory permits a treatment of the theory of proportions as developed by Eudoxus and Euclid which is hardly surpassable in brevity and elegance in spite of its close affinity to Euclid. The generalization to a “classically” founded theory of magnitudes is now self-evident. (shrink)

IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an involutive negation and their residua. The structure of such t-norms is still not known. Nevertheless, Jenei introduced in [20] a new way to obtain rotation-invariant semigroups and, in particular, IMTL-algebras and left-continuous t-norm with an involutive negation, by means of the disconnected rotation method. In order to give an algebraic interpretation (...) to this construction, we generalize the concepts of perfect, bipartite and local algebra used in the classification of MV-algebras to the wider variety of IMTL-algebras and we prove that perfect algebras are exactly those algebras obtained from a prelinear semihoop by Jenei's disconnected rotation. We also prove that the variety generated by all perfect IMTL-algebras is the variety of the IMTL-algebras that are bipartite by every maximal filter and we give equational axiomatizations for it. (shrink)

We discuss some of the experimental motivation for the need for semigroup decay laws and the quantum Lax-Phillips theory of scattering and unstable systems. In this framework, the decay of an unstable system is described by a semigroup. The spectrum of the generator of the semigroup corresponds to the singularities of the Lax-Phillips S-matrix. In the case of discrete (complex) spectrum of the generator of the semigroup, associated with resonances, the decay law is exactly exponential. The (...) states corresponding to these resonances (eigenfunctions of the generator of the semigroup) lie in the Lax-Phillips Hilbert space, and, therefore, all physical properties of the resonant states can be computed. We show that the parametrized relativistic quantum theory is a natural setting for the realization of the Lax-Phillips theory. (shrink)

The quantum mechanical description of the evolution of an unstable system defined initially as a state in a Hilbert space at a given time does not provide a semigroup (exponential) decay, law. The Wigner–Weisskopf survival amplitude, describing reversible quantum transitions, may be dominated by exponential type decay in pole approximation at times not too short or too long, but, in the two channel case, for example, the pole residues are not orthogonal, and the evolution does riot correspond to a (...) semigroup (experiments on the decay of the neutral K-meson system strongly support the semigroup evolution postulated, by Lee, Oehme and Yang, and Yang and Wu). The scattering theory of Lax and Phillips, originally developed for classical wave equations, has been recently extended to the description of the evolution of resonant states in the framework of quantum theory. The resulting evolution law of the unstable system is that of a semigroup, and the resonant state is a well-defined function in the Lax–Phillips Hilbert space. In this paper we apply this theory to a relativistically covariant quantum field theoretical form of the (soluble) Lee model. We construct the translation representations with the help of the wave operators, and show that the resulting Lax–Phillips S-matrix is an inner function (the Lax–Phillips theory is essentially a theory of translation invariant subspaces). In the special case that the S-matrix is a rational inner function, we obtain the resonant state explicitly and analyze its particle (V, N, θ) content. If there is an exponential bound, the general case differs only by a so-called trivial inner factor, which does not change the complex spectrum, but may affect the wave function of the resonant state. (shrink)

We study theorems of ordered groups from the perspective of reverse mathematics. We show that suffices to prove Hölder's Theorem and give equivalences of both (the orderability of torsion free nilpotent groups and direct products, the classical semigroup conditions for orderability) and (the existence of induced partial orders in quotient groups, the existence of the center, and the existence of the strong divisible closure).

We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the fundamental work of Hrushovski and Kazhdan [8]. We limit our attention to a simple major subclass of V-minimal theories of the form ACV FS, that is, the theory of algebraically closed valued fields of pure characteristic 0 expanded by a -generated substructure S in the language (...) . The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many different technical details while following the major steps of the Hrushovski–Kazhdan theory. (shrink)

This book presents the foundations of a general theory of algebras. Often called “universal algebra”, this theory provides a common framework for all algebraic systems, including groups, rings, modules, fields, and lattices. Each chapter is replete with useful illustrations and exercises that solidify the reader's understanding. The book begins by developing the main concepts and working tools of algebras and lattices, and continues with examples of classical algebraic systems like groups, semigroups, monoids, and categories. The essence of the book lies (...) in Chapter 4, which provides not only basic concepts and results of general algebra, but also the perspectives and intuitions shared by practitioners of the field. The book finishes with a study of possible uniqueness of factorizations of an algebra into a direct product of directly indecomposable algebras. There is enough material in this text for a two semester course sequence, but a one semester course could also focus primarily on Chapter 4, with additional topics selected from throughout the text. (shrink)

The aim of this paper is to reconcile the two modes of description of macrosystems, i.e., to remove certain inconsistencies between the classical phenomenological and the quantum-theoretical descriptions of a macrosystem. Starting from Ludwig's formulation of a general framework for classical theories and his ansatz for a compatibility condition between the quantum theoretical and the classical mode of description for a macrosystem, we try to make clear what the “classical content” of many-body quantum theory really is. It is shown that (...) this classical content may be described by a certain “observable,” i.e., an operator-valued measure over the Borel sets of the classical trajectory space. There exists a reduced time evolution within this classical content which has the structure of a true semigroup in case of an irreversible classical time evolution. (shrink)

No part ot Plato's writings has been more debated than the three similes in Books VI.-VII. of the Republic, and still there is a diversity of opinion about their meaning. I believe that most of these difficulties arise from certain assumptions about their purpose which need revision. The current view applies the Cave to the Line, as Plato seems to direct, and this application, which is itself attended by considerable difficulties, leads to an assimilation of the two figures till they (...) seem to have much the same content and purpose. Again, as this makes the lower line appear to be the phenomenal world, it is thought that the simile of the sun foreshadows the theme of the Line by hinting at a connexion between the intelligible and the sensible which is made more explicit in the Line. Thus the group of similes seem mainly intended to show the dependence of Becoming upon Being. This paper will argue that such a view depends upon the misrepresentation of the symbolism adopted by Plato, that two antithetical groups of symbols are confused with one another, and that symbols are even identified with antitypes. Owing to these misinterpretations the Form of the Good has been mistaken for a material cause; both the Line and the Cave have been thought to reveal Plato as embarrassed by a dualism between sense and intellect, and the purpose of the Cave in particular, since the error is cumulative, has been completely obscured. This paper will attempt to substitute for current accounts another interpretation which will relate the three similes closely with the political arguments of Book VI., and with the Platonic education which is set forth in close connexion with them. (shrink)

The fundamental question in reverse mathematics is to determine which set existence axioms are required to prove particular theorems of mathematics. In addition to being interesting in their own right, answers to this question have consequences in both effective mathematics and the foundations of mathematics. Before discussing these consequences, we need to be more specific about the motivating question.Reverse mathematics is useful for studying theorems of either countable or essentially countable mathematics. Essentially countable mathematics is a vague term that is (...) best explained by an example. Complete separable metric spaces are essentially countable because, although the spaces may be uncountable, they can be understood in terms of a countable basis. Simpson gives the following list of areas which can be analyzed by reverse mathematics: number theory, geometry, calculus, differential equations, real and complex analysis, combinatorics, countable algebra, separable Banach spaces, computability theory, and the topology of complete separable metric spaces. Reverse mathematics is less suited to theorems of abstract functional analysis, abstract set theory, universal algebra, or general topology.Section 2 introduces the major subsystems of second order arithmetic used in reverse mathematics: RCA0, WKL0, ACA0, ATR0 and – CA0. Sections 3 through 7 consider various theorems of ordered group theory from the perspective of reverse mathematics. Among the results considered are theorems on ordered quotient groups, groups and semigroup conditions which imply orderability, the orderability of free groups, Hölder's Theorem, Mal'tsev's classification of the order types of countable ordered groups. (shrink)

. We explore a connection between different ways of representing information in computer science. We show that relational databases, modules, algebraic specifications and constraint systems all satisfy the same ten axioms. A commutative semigroup together with a lattice satisfying these axioms is then called an “information algebra”. We show that any compact consequence operator satisfying the interpolation and the deduction property induces an information algebra. Conversely, each finitary information algebra can be obtained from a consequence operator in this way. (...) Finally we show that arbitrary (not necessarily finitary) information algebras can be represented as some kind of abstract relational database called a tuple system. (shrink)

This book describes a relativistic quantum theory developed by the author starting from the E.C.G. Stueckelberg approach proposed in the early 40s. In this framework a universal invariant evolution parameter (corresponding to the time originally postulated by Newton) is introduced to describe dynamical evolution. This theory is able to provide solutions for some of the fundamental problems encountered in early attempts to construct a relativistic quantum theory. A relativistically covariant construction is given for which particle spins and angular momenta can (...) be combined through the usual rotation group Clebsch-Gordan coefficients. Solutions are defined for both the classical and quantum two body bound state and scattering problems. The recently developed quantum Lax-Phillips theory of semigroup evolution of resonant states is described. The experiment of Lindner and coworkers on interference in time is discussed showing how the property of coherence in time provides a simple understanding of the results. The full gauge invariance of the Stueckelberg-Schroedinger equation results in a 5D generalization of the usual gauge theories. A description of this structure and some of its consequences for both Abelian and non-Abelian fields are discussed. A review of the basic foundations of relativistic classical and quantum statistical mechanics is also given. The Bekenstein-Sanders construction for imbedding Milgrom's theory of modified spacetime structure into general relativity as an alternative to dark matter is also studied. (shrink)

This paper gives an ethical argument for temporarily waiving intellectual property protections for COVID-19 vaccines. It examines two proposals under discussion at the World Trade Organization : the India/South Africa proposal and the WTO Director General proposal. Section I explains the background leading up to the WTO debate. Section II rebuts ethical arguments for retaining current IP protections, which appeal to benefiting society by spurring innovation and protecting rightful ownership. It sets forth positive ethical arguments for a temporary waiver that (...) appeal to standing in solidarity and holding companies accountable. After examining built-in exceptions to existing agreements and finding them inadequate, the paper replies to objections to a temporary waiver and concludes, in section III, that the ethical argument for temporarily waiving IP protection for COVID-19 vaccines is strong. There are no data in this work. (shrink)

This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...) Information Fusion; Statistics; Decision Making; Extenics; Instantaneous Physics; Paradoxism; Mathematica; Miscellanea), comprising 965 pages, published between 2005-2022 in different scientific journals, by the author alone or in collaboration with the following 110 co-authors (alphabetically ordered) from 26 countries: Abduallah Gamal, Sania Afzal, Firoz Ahmad, Muhammad Akram, Sheriful Alam, Ali Hamza, Ali H. M. Al-Obaidi, Madeleine Al-Tahan, Assia Bakali, Atiqe Ur Rahman, Sukanto Bhattacharya, Bilal Hadjadji, Robert N. Boyd, Willem K.M. Brauers, Umit Cali, Youcef Chibani, Victor Christianto, Chunxin Bo, Shyamal Dalapati, Mario Dalcín, Arup Kumar Das, Elham Davneshvar, Bijan Davvaz, Irfan Deli, Muhammet Deveci, Mamouni Dhar, R. Dhavaseelan, Balasubramanian Elavarasan, Sara Farooq, Haipeng Wang, Ugur Halden, Le Hoang Son, Hongnian Yu, Qays Hatem Imran, Mayas Ismail, Saeid Jafari, Jun Ye, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Abdullah Kargın, Vasilios N. Katsikis, Nour Eldeen M. Khalifa, Madad Khan, M. Khoshnevisan, Tapan Kumar Roy, Pinaki Majumdar, Sreepurna Malakar, Masoud Ghods, Minghao Hu, Mingming Chen, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohamed Loey, Mihnea Alexandru Moisescu, Muhammad Ihsan, Muhammad Saeed, Muhammad Shabir, Mumtaz Ali, Muzzamal Sitara, Nassim Abbas, Munazza Naz, Giorgio Nordo, Mani Parimala, Ion Pătrașcu, Gabrijela Popović, K. Porselvi, Surapati Pramanik, D. Preethi, Qiang Guo, Riad K. Al-Hamido, Zahra Rostami, Said Broumi, Saima Anis, Muzafer Saračević, Ganeshsree Selvachandran, Selvaraj Ganesan, Shammya Shananda Saha, Marayanagaraj Shanmugapriya, Songtao Shao, Sori Tjandrah Simbolon, Florentin Smarandache, Predrag S. Stanimirović, Dragiša Stanujkić, Raman Sundareswaran, Mehmet Șahin, Ovidiu-Ilie Șandru, Abdulkadir Șengür, Mohamed Talea, Ferhat Taș, Selçuk Topal, Alptekin Ulutaș, Ramalingam Udhayakumar, Yunita Umniyati, J. Vimala, Luige Vlădăreanu, Ştefan Vlăduţescu, Yaman Akbulut, Yanhui Guo, Yong Deng, You He, Young Bae Jun, Wangtao Yuan, Rong Xia, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Zayen Azzouz Omar, Xiaohong Zhang, Zhirou Ma.‬‬‬‬‬‬‬‬. (shrink)

Russkiĭ kosmizm v poiskakh absoli︠u︡ta : paralleli i peresechenii︠a︡ v muzykalʹnom, poėticheskom i izobrazitelʹnom tborchestve 1910-1920-kh godov -- Liki Moderna -- Putʹ k modernu : Georgiĭ Lʹvovich Katuar -- Stilʹ modern v tvorchestve Frederika Diliusa : kont︠s︡ert dli︠a︡ fortepiano s orkestrom do minor -- Stilʹ modern i tvorchestvo Bely Bartoka (na primere opery "Zamok gert︠s︡oga Sini︠a︡i︠a︡ Boroda") -- Frit︠s︡ Kreĭsler i stilʹ modern -- Klod Debi︠u︡ssi i Moris Ravelʹ : muzyka dli︠a︡ arfy -- Klod Debi︠u︡ssi : dvenadt︠s︡atʹ ėti︠u︡dov dli︠a︡ fortepiano (...) : ot ėkzersisa do installi︠a︡t︠s︡ii -- O dikhotomii "muzhskogo" i "zhenskogo" v Pi︠a︡toĭ sonate A.N. Skri︠a︡bina (na primere motivnoĭ metriki) -- Pod znakom moderna : A.N. Skri︠a︡bin i S.S. Prokofʹev v 1913 godu -- Avangard i modern v retrospektive -- O proi︠a︡vlenii︠a︡kh "modernizma" v ispolnitelʹskom iskusstve : F. Buzoni, M. I︠U︡dina, G. Gulʹd -- Sudʹba providt︠s︡a : fortepiannai︠a︡ muzyka Ėrika Sati v sovremennom akademicheskom muzykalʹnom mire -- Otgoloski ėpokhi modern : o nekotorykh smyslovykh osobennosti︠a︡kh sovremennykh fortepiannykh sochineniĭ (Ė. Denisov, S. Slonimskiĭ, G. Zaĭt︠s︡ev) -- Zapadnye pianisty - ispolniteli russkogo avangarda pervoĭ volny : Sh. Shleĭermakher, Kh. Khenk, M.-A. Amlen -- Muzyka k filʹmu "Kabinet doktora Kaligari" : mezhdu tvorcheskoĭ rekonstrukt︠s︡ieĭ i istoricheskoĭ imitat︠s︡ieĭ -- Podvodi︠a︡ itogi -- "Pozdniĭ modernizm" v muzyke kont︠s︡a XX - nachala XXI veka : nekotorye nabli︠u︡denii︠a︡ -- Po sledam konferent︠s︡ii "Ot moderna k futurizmu" (virtualʹnai︠a︡ beseda za kruglym stolom). (shrink)