Results 121 to 130 of about 26,193 (159)
On the Galois theory of separable algebras [PDF]
Pacific Journal of Mathematics, 1970 openaire +2 more sources
Locicaly separable algebras in varieties of algebras
, 2007 Let Θ be an arbitrary variety of algebras and H be an algebra in Θ. Along with algebraic geometry in Θ over the distinguished al gebra H we consider logical geometry in Θ over H . This insight leads to a system of notions and stimulates a number of new problems. We introduce a notion of logically separable in Θ algebras and consider it in the frames of
openaire +1 more source
A CHARACTERIZATION OF STRONGLY SEPARABLE ALGEBRAS
Hokkaido Mathematical Journal, 1966 openaire +3 more sources
A note on Galois extension of separable algebras
Kodai Mathematical Journal, 1971 openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2012
We present an Isabelle/HOL library with a generic type class implementation of separation algebra, develop basic separation logic concepts on top of it, and implement generic automated tactic support that can be used directly for any instantiation of the library.
Gerwin Klein +2 more
openaire +1 more source
We present an Isabelle/HOL library with a generic type class implementation of separation algebra, develop basic separation logic concepts on top of it, and implement generic automated tactic support that can be used directly for any instantiation of the library.
Gerwin Klein +2 more
openaire +1 more source
On the Structure of Generalized Effect Algebras and Separation Algebras
2018Separation algebras are models of separation logic and effect algebras are models of unsharp quantum logics. We investigate these closely related classes of partial algebras as well as their noncommutative versions and the subclasses of (generalized) (pseudo-)orthoalgebras.
Sarah Alexander +2 more
openaire +1 more source
Separating maps on Fréchet algebras
Quaestiones Mathematicae, 2014Click on the link to view the abstract.Keywords: Automatic continuity, Fr´echet function algebra, hemicompact space, separating mapQuaestiones Mathematicae 37(2014), 67 ...
openaire +2 more sources
ALGEBRAIC FUNCTIONS WITH SEPARATED SINGULARITIES
Mathematics of the USSR-Izvestiya, 1971In this article we consider irreducible algebraic functions of several complex variables. Among them we distinguish a class of algebraic functions with separated singularities and give a description of this class.
openaire +3 more sources