Results 271 to 280 of about 3,431 (301)

Stability of representations of effective partial algebras [PDF]

Mathematical Logic Quarterly, 2011
An algebra is effective if its operations are computable under some numbering. When are two numberings of an effective partial algebra equivalent? For example, the computable real numbers form an effective field and two effective numberings of the field ...
Jens Blanck
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

On Algebras Generated by a Partial Isometry

Complex Analysis and Operator Theory, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shi, Luoyi, Zhu, Sen
openaire   +1 more source

Partial algebra + order-sorted algebra = galactic algebra

2005
Galactic algebra is a clean superset of universal algebra, which suits this intention: to consider semi-functions (partial functions) and subsets of some universe, then to reason in a uniform way about identity (equality of terms), membership, and inclusion. The logic of galactic algebra is expressed as a first-order Hilbert-style system, which has all
openaire   +1 more source

Decidability of Term Algebras Extending Partial Algebras

2005
Let ${\cal A}$ be a partial algebra on a finite signature. We say that ${\cal A}$ has decidable query evaluation problem if there exists an algorithm that given a first order formula $\phi(\bar{x})$ and a tuple $\bar{a}$ from the domain of ${\cal A}$ decides whether or not $\phi(\bar{a})$ holds in ${\cal A}$.
Bakhadyr Khoussainov, Sasha Rubin
openaire   +1 more source

A lazy approach to partial algebras

1995
Starting from the analysis of which features are required by an algebraic formalism to describe at least the more common data types used in imperative and functional programming, a framework is proposed, collecting many techniques and ideas from the algebraic community, with the capability for an immediate representation of partiality and error ...
openaire   +1 more source

Chain-Continuous Algebras a Variety of Partial Algebras

Fundamenta Informaticae, 1983
We prove that the category of ω-continuous algebras of any fixed (infinitary) signature is a variety of the category of partial algebras of an adequate signature. This enables us to derive properties of ω-continuous algebras from the thoroughly investigated properties of partial algebras.
openaire   +2 more sources

Algebraic theory of quasivarieties of heterogeneous partial algebras

Studia Logica, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

DIRECT APPROACH TO PARTIAL ALGEBRAIZATION

Modern Physics Letters A, 1992
This paper presents an alternative approach to the method of partial algebraization. This approach does not make any use of Lie symmetries. All Quasi-Exactly-Solvable (QES) problems, constructed by the method presented in Refs. 1–3, can also be constructed in this approach.
openaire   +1 more source

On Partially Ordering Operator Algebras

Canadian Journal of Mathematics, 1967
In this paper, we consider linear spaces and algebras with real scalars. It is well known that if X is a Banach space and is the set of all bounded linear operators which map X into itself, then is a Banach algebra. In this paper we shall show that can be partially ordered so that it becomes a partially ordered algebra in which norm convergence is ...
openaire   +1 more source

Partial algebras flow from algebraic specifications

1987
The aim of this paper is to introduce and to investigate a method for specifying algebras with partial functions, while maintaining the simpler framework of total algebras and conventional specifications. For this purpose, an ordinary algebraic specification SPEC is equipped with a subspecification BASE, and each SPEC-algebra is equipped with a BASE ...
openaire   +1 more source