Results 21 to 30 of about 1,612,373 (342)
Increasing positive monoids of ordered fields are FF-monoids [PDF]
Journal of Algebra, 2016 Given an ambient ordered field K, a positive monoid is a countably generated additive submonoid of the nonnegative cone of K. In this paper, we first generalize several atomic features exhibited by Puiseux monoids of the field of rational numbers to the ...
F. Gotti
semanticscholar +1 more source
Demonstratio Mathematica, 2002 The authors consider ordered sets with a greatest element. An algebra \({\mathcal P}= (P;\cdot,1)\) of type \((2,0)\) is called an order algebra if the following binary operation holds: If \(x\leq y\) then \(x\cdot y= 1\), and \(x\cdot y= y\) otherwise. Order algebras are connected with an implication modelling in intuitionistic logic.
Chajda, I., Halaš, R.
openaire +2 more sources
Monoids with tests and the algebra of possibly non-halting programs [PDF]
, 2015 We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Marcel Jackson +3 more
core +1 more source
MAXIMAL SUBSETS OF PAIRWISE SUMMABLE ELEMENTS IN GENERALIZED EFFECT ALGEBRAS
Acta Polytechnica, 2013 We show that in any generalized effect algebra (G;⊕, 0) a maximal pairwise summable subset is a sub-generalized effect algebra of (G;⊕, 0), called a summability block.
Zdenka Riečanová, Jiří Janda
doaj +1 more source
Spectral spaces of countable Abelian lattice-ordered groups [PDF]
Transactions of the American Mathematical Society, 2017 A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections. Theorem.
F. Wehrung
semanticscholar +1 more source
On Free $\omega$-Continuous and Regular Ordered Algebras [PDF]
Logical Methods in Computer Science, 2019 We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms.
Zoltan Esik, Dexter Kozen
doaj +1 more source
Journal of Applied Logic, 2008 A weak extended-order algebra is a triplet \((A,\rightarrow ,1)\) of type \( (2,0)\) such that for all \(a,b,c\in A,\) the following conditions are satisfied: \(a\rightarrow 1=a\rightarrow a=1,\) if \(a\rightarrow b=b\rightarrow a=1\) then \(a=b\), and if \(a\rightarrow b=b\rightarrow c=1\) then \(a\rightarrow c=1.\) If \(a\rightarrow b=1\) then \((c ...
GUIDO, Cosimo, P. TOTO
openaire +3 more sources
Linear Algebra and Smarandache Linear Algebra [PDF]
, 2003 The present book, on Smarandache linear algebra, not only studies the Smarandache analogues of linear algebra and its applications, it also aims to bridge the need for new research topics pertaining to linear algebra, purely in the algebraic sense.
Vasantha, Kandasamy
core +1 more source
Intuitionistic fuzzy lattice ordered G-modules [PDF]
Journal of Fuzzy Extension and ApplicationsThe investigation of mathematics underlines accuracy, precision, and flawlessness, yet in numerous genuine circumstances, individuals face equivocalness, ambiguity, imprecision, and so forth.
Poonam Sharma
doaj +1 more source
Homological Algebra for Superalgebras of Differentiable Functions [PDF]
, 2012 This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in
Sub Algebra,Geometry&Mathem. Logic begr. +2 more
core +1 more source