Results 131 to 140 of about 78,049 (169)

Model-theoretic algebra C. U. Jensen and H. Lenzing, Gordon & Breach, 1988, 443 pp.

Advances in Mathematics
openaire   +1 more source

QUANTIFIER ELIMINATION IN ADELIC STRUCTURES OVER ALGEBRAICALLY CLOSED VALUED FIELDS (Model theoretic aspects of the notion of independence and dimension)

QUANTIFIER ELIMINATION IN ADELIC STRUCTURES OVER ALGEBRAICALLY CLOSED VALUED FIELDS (Model theoretic aspects of the notion of independence and dimension)
openaire  

Some of the next articles are maybe not open access.

Related searches:

Model Theoretic Algebra

The Journal of Symbolic Logic, 1976
Since the late 1940's model theory has found numerous applications to algebra. I would like to indicate some of the points of contact between model theoretic methods and strictly algebraic concerns by means of a few concrete examples and typical applications.§1. The Lefschetz principle.
openaire   +2 more sources

Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics

2003
We introduce a new method (derived from model theoretic general combination procedures in automated deduction) for proving fusion decidability in modal systems. We apply it to show fusion decidability in case not only the boolean connectives, but also a universal modality and nominals are shared symbols.
Santocanale, Luigi, Ghilardi, Silvio
openaire   +1 more source

Model theoretic properties in the variety generated by a primal algebra

Algebra Universalis, 1993
Let \({\mathbf P}\) denote a primal algebra (i.e. a finite algebra for which every function is a term function), let \({\mathbf B}\) be a Boolean algebra and let \({\mathbf P}[{\mathbf B}]\) denote the bounded Boolean power of \({\mathbf P}\) by \({\mathbf B}\).
openaire   +1 more source

An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem

Journal of Symbolic Logic, 1981
AbstractWe prove the following algebraic characterization of elementary equivalence: ≡ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of ...
openaire   +2 more sources

Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic and Geometry

1996
The paper shows relationship between model-theoretical and deductive approaches in relational databases. In the model-theoretical approach, semantics of algebraic geometry is applied to construct various invariants of replies to queries.
openaire   +1 more source

Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules

2022
Christian U. Jensen, Helmut Lenzing
openaire   +1 more source

Computer algebra in gravity research

Living Reviews in Relativity, 2018
Malcolm A H Maccallum
exaly