نتایج جستجو برای: maximal morphism

تعداد نتایج: 89805  

Journal: :Theor. Comput. Sci. 2017
Florian Rabe

We introduce a new concept in the area of formal logic: axioms for model morphisms. We work in the setting of specification languages that define the semantics of a theory as a category of models. While it is routine to use axioms to specify the class of models of a theory, there has so far been no analogue to systematically specify the morphisms between these models. This leads to subtle probl...

Journal: :Annals of Pure and Applied Logic 2009

2014
Michel Chein Marie-Laure Mugnier

The main objective of this paper is to add one more brick in building the CG model as a knowledge representation model autonomous from logic. The CG model is not only a graphical representation of logic, it is much more: it is a declarative model encoding knowledge in a mathematical theory, namely labelled graph theory, which has eecient computable forms, with a fundamental graph operation on t...

Journal: :J. Comb. Theory, Ser. A 1998
Bruce N. Cooperstein

We assume the reader is familiar with the basic definitions relating to undirected graphs and linear incidence system or point-line geometry (as a standard reference see [2]). In particular: the distance function, a geodesic path, and diameter of a graph; the collinearity graph of a point-line geometry 1=(P, L), a subspace of 1, the subspace (X)1 generated by a subset X of P, and convex subspac...

Journal: :Glasnik Matematicki 2009

Journal: :Journal of the Mathematical Society of Japan 1972

Journal: :journal of algebra and related topics 2015
s. visweswaran a. parmar

the rings considered in this article are commutative with identity $1neq 0$. by a proper ideal of a ring $r$,  we mean an ideal $i$ of $r$ such that $ineq r$.  we say that a proper ideal $i$ of a ring $r$ is a  maximal non-prime ideal if $i$ is not a prime ideal of $r$ but any proper ideal $a$ of $r$ with $ isubseteq a$ and $ineq a$ is a prime ideal. that is, among all the proper ideals of $r$,...

2006
Daniel Murfet

1 Definitions Definition 1. A graded ring is a ring S together with a set of subgroups Sd, d ≥ 0 such that S = ⊕ d≥0 Sd as an abelian group, and st ∈ Sd+e for all s ∈ Sd, t ∈ Se. One can prove that 1 ∈ S0 and if S is a domain then any unit of S also belongs to S0. A homogenous ideal of S is an ideal a with the property that for any f ∈ a we also have fd ∈ a for all d ≥ 0. A morphism of graded r...

Journal: :Duke Mathematical Journal 2016

2003
ROLAND BACHER

We describe and prove uniqueness of a natural homomorphism (called the Orchard morphism) between some groups associated to finite sets.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید