Results 151 to 160 of about 77,893 (200)
Model-theoretic algebra C. U. Jensen and H. Lenzing, Gordon & Breach, 1988, 443 pp.
Advances in Mathematicsopenaire +1 more source
QUANTIFIER ELIMINATION IN ADELIC STRUCTURES OVER ALGEBRAICALLY CLOSED VALUED FIELDS (Model theoretic aspects of the notion of independence and dimension)openaire
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.
Gregory Cherlin
openalex +3 more sources
Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules
, 2022 Christian U. Jensen, Helmut Lenzing
openalex +2 more sources
Journal für die reine und angewandte Mathematik (Crelles Journal), 1985 Bill Jacob, Eberhard Becker
openalex +2 more sources
A Model Theoretic Oriented Approach to Partial Algebras
, 1986 Peter Burmeister
openalex +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics
2003We 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, 1993Let \({\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