Add to ORKGSummary. Ordered algebraic structures are encountered in many areas of math-ematics. One frequently wishes to embed a given ordered algebraic structure into a complete ordered algebraic structure in a manner that preserves some aspects of the algebraic and order theoretic properties of the original. It is the purpose here to survey some recent results in this area.
This formalization introduces and collects some algebraic structures based on lattices and complete ...
Order and symmetry are main structural principles in mathematics. We give five examples where on the...
Historically, homological algebra grew out of algebraic topology, where one attempts to simplify and...
This volume contains a selection of papers presented at the 1991 Conrad Conference, held in Gainesvi...
AbstractAn abstract characterization of some constructions relating to ordered and complete algebras...
We present a systematic study of join-extensions and join-completions of ordered algebras, which na...
AbstractThis paper gives a proposal for how order-sorted algebraic specification languages can be ex...
AbstractThe theory of ordered sets lies at the confluence of several branches of mathematics includi...
In this article we consider the ordered algebraic structures of thesystems of natural numbers, integ...
Abstract. An extension of parts of the theory of partially ordered varieties and quasivarieties, as ...
Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras...
We discuss a selection of recent developments in arithmetic combinatorics having to do with "approxi...
We investigate parametrization for order-sorted algebraic specifications. As a prerequisite we study...
I prove a characterization theorem for algebraic bounded complete cpos similar to that for algebraic...
AbstractWe describe and prove completion procedures for equational term rewriting systems in order-s...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
Order and symmetry are main structural principles in mathematics. We give five examples where on the...
Historically, homological algebra grew out of algebraic topology, where one attempts to simplify and...
This volume contains a selection of papers presented at the 1991 Conrad Conference, held in Gainesvi...
AbstractAn abstract characterization of some constructions relating to ordered and complete algebras...
We present a systematic study of join-extensions and join-completions of ordered algebras, which na...
AbstractThis paper gives a proposal for how order-sorted algebraic specification languages can be ex...
AbstractThe theory of ordered sets lies at the confluence of several branches of mathematics includi...
In this article we consider the ordered algebraic structures of thesystems of natural numbers, integ...
Abstract. An extension of parts of the theory of partially ordered varieties and quasivarieties, as ...
Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras...
We discuss a selection of recent developments in arithmetic combinatorics having to do with "approxi...
We investigate parametrization for order-sorted algebraic specifications. As a prerequisite we study...
I prove a characterization theorem for algebraic bounded complete cpos similar to that for algebraic...
AbstractWe describe and prove completion procedures for equational term rewriting systems in order-s...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
Order and symmetry are main structural principles in mathematics. We give five examples where on the...
Historically, homological algebra grew out of algebraic topology, where one attempts to simplify and...