Results 61 to 70 of about 167 (147)
Colloquium Mathematicum, 1999 Let $A$, $B$, and $S$ be (v,0)-semilattices and let $f: A\to B$ be a (v,0)-embedding. Then the canonical map, $f \otimes \id\_S$, of the tensor product $A \otimes S$ into the tensor product $B \otimes S$ is not necessarily an embedding. The (v,0)-semilattice $S$ is flat, if for every embedding $f : A\to B$, the canonical map $f\otimes\id$ is an ...
Grätzer, George, Wehrung, Friedrich
openaire +3 more sources
The Poincaré‐extended ab$\mathbf {a}\mathbf {b}$‐index
Journal of the London Mathematical Society, Volume 111, Issue 1, January 2025.Abstract Motivated by a conjecture concerning Igusa local zeta functions for intersection posets of hyperplane arrangements, we introduce and study the Poincaré‐extended ab$\mathbf {a}\mathbf {b}$‐index, which generalizes both the ab$\mathbf {a}\mathbf {b}$‐index and the Poincaré polynomial.
Galen Dorpalen‐Barry +2 more
wiley +1 more source
ℓp$\ell ^p$ metrics on cell complexes
Journal of the London Mathematical Society, Volume 111, Issue 1, January 2025.Abstract Motivated by the observation that groups can be effectively studied using metric spaces modelled on ℓ1$\ell ^1$, ℓ2$\ell ^2$ and ℓ∞$\ell ^\infty$ geometry, we consider cell complexes equipped with an ℓp$\ell ^p$ metric for arbitrary p$p$. Under weak conditions that can be checked locally, we establish non‐positive curvature properties of these
Thomas Haettel, Nima Hoda, Harry Petyt
wiley +1 more source
Studying the Theory of Hoops Through Some Type of Filters
Journal of Applied Mathematics, Volume 2025, Issue 1, 2025.It is known that the class of hoops is ideally determined, in the sense that every filter of any hoop H is a 1‐class of a unique congruence relation on H. This confirms that every filter in a hoop determines one and only one quotient structure. So, given a hoop H and a filter π of H, it is natural to question ourselves what should be the defining ...
Gezahagne Mulat Addis +2 more
wiley +1 more source
Philosophical Perspectives, Volume 38, Issue 1, Page 222-236, December 2024.ABSTRACT We can use “reason,” with its normative sense, as both a count noun (“there is a reason for her to Φ”) and a mass noun (“there is plenty of reason for her to Φ”). How are the count and mass senses of “reason” related? Daniel Fogal argues that the mass sense is fundamental: Just as lights are merely those things that give light and anxieties ...
Eliot Watkins
wiley +1 more source
On semilattices of groups whose arrows are epimorphisms
International Journal of Mathematics and Mathematical Sciences, 2006 A q partial group is defined to be a partial group, that is, a strong semilattice of groups S=[E(S);Se,ϕe,f] such that S has an identity 1 and ϕ1,e is an epimorphism for all e∈E(S).
M. El-Ghali M. Abdallah +2 more
doaj +1 more source
Exploring the Boundaries of Monad Tensorability on Set [PDF]
Logical Methods in Computer Science, 2013 We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the component ...
Nathan Bowler +3 more
doaj +1 more source
Routes to relevance: Philosophies of relevant logics
Philosophy Compass, Volume 19, Issue 2, February 2024.Abstract Relevant logics are a family of non‐classical logics characterized by the behavior of their implication connectives. Unlike some other non‐classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five
Shawn Standefer
wiley +1 more source
Punctual numberings for families of sets
Қарағанды университетінің хабаршысы. Математика сериясыThis work investigates the structure of punctual numberings for families of punctually enumerable sets with respect to primitive recursively reducibility.
A. Askarbekkyzy +6 more
doaj +1 more source
Bulletin of the Section of Logic, 2018 In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at
openaire +5 more sources