On the universal theory of classes of finite models-Reference-Cited by-同舟云学术

On the universal theory of classes of finite models

Published:1984 Issue:1 Volume:284 Page:163-170
ISSN:0002-9947
Container-title:Transactions of the American Mathematical Society
language:en
Short-container-title:Trans. Amer. Math. Soc.

Author:

Tulipani S.

Abstract

First order theories for which the truth of a universal sentence on their finite models implies the truth on all models are investigated. It is proved that an equational theory has such a property if and only if every finitely presented model is residually finite. The most common classes of algebraic structures are discussed.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/tran/1984-284-01/S0002-9947-1984-0742418-9/S0002-9947-1984-0742418-9.pdf

Reference23 articles.

1. Graduate Texts in Mathematics;Anderson, Frank W.,1992

2. Equational classes of modular lattices;Baker, Kirby A.;Pacific J. Math.,1969

3. J. T. Baldwin, Review: Selected papers of Abraham Robinson. Volume 1, J. Symbolic Logic 47 (1982).

4. Graduate Texts in Mathematics;Burris, Stanley,1981

5. C. C. Chang and H. J. Keisler, Model theory, Studies in Logic, North-Holland, Amsterdam, 1973.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quasivarieties;Handbook of Algebra;2003

2. Bjarni J�nsson's contributions in algebra;Algebra Universalis;1994-09

3. Universal algebras;Journal of Soviet Mathematics;1991-11

4. Finitely determined arithmetical varieties need not be universally-finite;Algebra Universalis;1986-06