Publication:3999266

zbMath0728.03026MaRDI QIDQ3999266

Christian U. Jensen, Helmut Lenzing

Publication date: 17 September 1992

zbMATH Keywords

function fields; ultrapowers; quantifier elimination; compactness; polynomial rings; Dedekind domain; Krull dimension; Pythagoras number; Gelfand-Kirillov dimension; Hilbert's 17th problem; elementary definability; axiomatizability; Grothendieck category; elementary equivalence; ultraproducts; field theory; ring theory; real closed fields; module theory; Hilbert's Nullstellensatz; algebraically closed fields; elementary substructures; algebraic compactness; power series fields; Hilbert fields; R-modules; Peano rings; \(C_ i\)-fields; elementarily definable substructures; MacLane separability; Noether-Ostrowski's irreducibility theorem; Peano fields; Transcendence degree; two-sorted first order language of modules over unspecified rings

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

13E05: Commutative Noetherian rings and modules

12E05: Polynomials in general fields (irreducibility, etc.)

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

13L05: Applications of logic to commutative algebra

13F05: Dedekind, Prüfer, Krull and Mori rings and their generalizations

12E25: Hilbertian fields; Hilbert's irreducibility theorem

03C20: Ultraproducts and related constructions

12L12: Model theory of fields

16B70: Applications of logic in associative algebras

Related Items

On a problem of 0-limits, Locally finitely presented additive categories, The prüfer rings that are endomorphism rings of artinian modules, Pure-semisimplicity is preserved under elementary equivalence, Surjectivity of the resultant map: a solution to the inverse bezout problem, Endomorphism rings and tensor products of linearly compact modules, On duo rings, pure semisimplicity and finite representation type, Cotilting modules are pure-injective, Auslander-Reiten sequences under base field extension, On pure-injective modules over pullback rings, Endofiniteness in stable homotopy theory, LOCALLY DYNKIN QUIVERS AND HEREDITARY COALGEBRAS WHOSE LEFT COMODULES ARE DIRECT SUMS OF FINITE DIMENSIONAL COMODULES, Unnamed Item, Unnamed Item, ON SECONDARY MODULES OVER PULLBACK RINGS, INJECTIVE OBJECTS IN TRIANGULATED CATEGORIES, Projective rank functions compatible with pure-injective envelopes, Epimorphisms of rings, interpretations of modules and strictly wild algebras, In Memoriam: Jerzy łoś 1920–1998, Modules with Semi-Local Endomorphism Ring, A solution to the Baer splitting problem, Additive categories of locally finite representation type, Generalized pure modules, Indecomposable decompositions of pure-injective objects and the pure-semisimplicity., The torsion-free part of the Ziegler spectrum of the Klein four group, Cohen-Macaulay modules, (co)torsion pairs and virtually Gorenstein algebras., Implicit definability of subfields, Modules with cosupport and injective functors., TTF triples in functor categories., On algebras of finite Cohen-Macaulay type., When the heart of a faithful torsion pair is a module category, Covers, precovers, and purity., Limits of pure-injective cotilting modules., Cotorsion pairs, torsion pairs, and \(\varSigma \)-pure-injective cotilting modules, Cotorsion pairs induced by duality pairs, Tame strongly simply connected algebras form an open scheme., Local morphisms and modules with a semilocal endomorphism ring., Subfields of ample fields. Rational maps and definability, Towards the decidability of the theory of modules over finite commutative rings, Homological domino effects and the first finitistic dimension conjecture, Bouquets of Baer modules, The endomorphism ring of a localized coherent functor, A geometric approach to the finitistic dimension conjecture, A classification of fully residually free groups of rank three or less, Jerzy Łoś and a history of Abelian groups in Poland., Pure projectives and injectives., An Artin problem for division ring extensions and the pure semisimplicity conjecture. II, Some general techniques on linear preserver problems, Covers induced by Ext, Representation-finite triangular algebras form an open scheme, Smith theory for algebraic varieties, On right pure semisimple hereditary rings and an Artin problem, An Artin problem for division ring extensions and the pure semisimplicity conjecture. I, Bounds in cohomology, Model-theory of vector-spaces over unspecified fields, On elementary equivalence, isomorphism and isogeny, On the telescope conjecture for module categories., How to construct a `concrete' superdecomposable pure-injective module over a string algebra., Lefschetz extensions, tight closure and big Cohen-Macaulay algebras, Triangulated categories and the Ziegler spectrum, Modules with few types over a hereditary noetherian prime ring, α-LIMITS OF ALGEBRAS, Flat covers and cotorsion envelopes of sheaves, Definable additive categories: purity and model theory, Characterizations of Chain Conditions on Finite Matrix Subgroups, Pure-injective modules over the dihedral algebras, On -pure-injective modules, On ℵ₀-Injectivity, -Products of injective, flat, and projective modules, A Completion of $$\mathbb{Z}$$ is a Field, A Note on Periodicity in Representation Theory of Finite Dimensional Algebras, Special groups whose isometry relation is a finite union of cosets, Minimal Modules Over Serial Rings, SUPERDECOMPOSABLE PURE INJECTIVE MODULES OVER COMMUTATIVE NOETHERIAN RINGS, Pure-injectivity and model theory for G-sets, Indecomposable decompositions of pure-injective modules