相关论文: An addendum to "The theory of implicit operations"

We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the…

We propose to consider non confluence with respect to implicit complexity. We come back to some well known classes of first-order functional program, for which we have a characterization of their intentional properties, namely the class of…

We construct bisymmetric, strictly increasing binary operations on real intervals which are not continuous. This answers a natural question in the theory of bisymmetric and mean-type operations by showing that continuity may fail for…

Field theory and gauge theory on noncommutative spaces have been established as their own areas of research in recent years. The hope prevails that a noncommutative gauge theory will deliver testable experimental predictions and will thus…

We describe all operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^* (in the case of a field of characteristic zero). We prove that such an…

For the example of the infinitely deep well potential, we point out some paradoxes which are solved by a careful analysis of what is a truly self-adjoint operator. We then describe the self-adjoint extensions and their spectra for the…

We construct a collection of numerical invariants for approximately transitive (AT) actions (of $\Z$). We use them (sometimes supplemented by other invariants to show that members of various one-parameter families of AT actions are mutually…

Non-closedness of subexponentiality by the convolution operation is well-known. We go a step further and show that subexponentiality and non-subexponentiality are generally changeable by the convolution. We also give several conditions, by…

In this paper, we introduce the notion of "extension" of a toric variety and study its fundamental properties. This gives rise to infinitely many toric varieties with a special property, such as being set theoretic complete intersection or…

The paper presents a counterexample to the Hodge conjecture.

We introduce some general classes of pseudodifferential operators with symbols admitting exponential type growth at infinity and we prove mapping properties for these operators on Gelfand-Shilov spaces both in the quasi-analytic and in the…

We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties generated by free p-algebras belong to a rather small…

This paper is devoted to present two counterexamples to the theorem from \cite{MK} Maria R., Katherine T. M., Bernardo S. M., Extremal graphs with bounded vertex bipartiteness number, Linear Algebra Appl. 493 (2016) 28-36. Moreover, the…

Some of the general results in the paper require an additional hypothesis, such as quasitriangularity. Applications to specific types of Hopf algebras are correct, as some of these are quasitriangular, and for those that are not, the…

This note adds three annexes to my previous paper math/9904044 Annex 1. A sufficient condition for self-adjointness Annex 2. Invariant closed operators on locally compact abelian groups Annex 3. The trace of Connes for quaternions This last…

We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of additional assumptions S(X) that depends anti-monotonically on…

The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…

We describe a new source of counterexamples to the so-called integral Hodge and integral Tate conjectures. As in the other known counterexamples to the integral Tate conjecture over finite fields, ours are approximations of the classifying…

We introduced a new continued fraction expansions in our previous paper. For these expansions, we show formulae of probability about incomplete quotients. Furthermore, we prove the existence of invariant measures with respect to the…

The weak factorization theorem for birational maps is used to prove that for all nonnegative i the ith mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a "virtual Betti number" beta_i defined for…