Amalgamation properties and interpolation theorems for equational theories-Reference-Cited by-同舟云学术

Amalgamation properties and interpolation theorems for equational theories

Published:1975-12 Issue:1 Volume:5 Page:45-55
ISSN:0002-5270
Container-title:Algebra Universalis
language:en
Short-container-title:Algebra Universalis

Author:

Bacsich P. D.

Publisher

Springer Science and Business Media LLC

Subject

Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/BF02485230.pdf

Reference9 articles.

1. P. Bacsich,Cofinal simplicity and algebraic closedness, Alg. Univ.2 (1972), 354–360.

2. P. Bacsich and D. Rowlands-Hughes,Syntactic characterisations of amalgamation, convexity, and related properties, J. Symbolic Logic39 (1974), (to appear).

3. D. Bryars,On the syntactic characterisation of some model theoretic relations. Ph.D. Thesis, London, 1973.

4. G. Grätzer,Universal Algebra, Van Nostrand, Princeton, 1968.

5. B. Jónsson,Extensions of relational structures, in:The Theory of Models, Proceedings of the 1963 Symposium at Berkeley, North-Holland, Amsterdam, 1965.

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

1. Interpolation Results for Arrays with Length and MaxDiff;ACM Transactions on Computational Logic;2023-06-09

2. Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories;Mathematics;2022-01-31

3. Interpolation and Amalgamation for Arrays with MaxDiff;Lecture Notes in Computer Science;2021

4. Modularity results for interpolation, amalgamation and superamalgamation;Annals of Pure and Applied Logic;2018-08

5. Maksimova, Relevance and the Study of Lattices of Non-classical Logics;Larisa Maksimova on Implication, Interpolation, and Definability;2018