Amalgamation, congruence-extension, and interpolation properties in algebras
- 1 December 1971
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 1 (1) , 269-349
- https://doi.org/10.1007/bf02944991
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Classes without the amalgamation propertyPacific Journal of Mathematics, 1969
- Universal homogeneous Boolean algebras.The Michigan Mathematical Journal, 1966
- Freedom in polyadic algebras and two theorems of Beth and Craig.The Michigan Mathematical Journal, 1964
- On automorphisms of polyadic algebrasTransactions of the American Mathematical Society, 1964
- An extension of the Craig-Lyndon interpolation theoremThe Journal of Symbolic Logic, 1963
- On the representation theory for cylindric algebrasPacific Journal of Mathematics, 1961
- Sublattices of a Free LatticeCanadian Journal of Mathematics, 1961
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957
- Linear reasoning. A new form of the Herbrand-Gentzen theoremThe Journal of Symbolic Logic, 1957
- Über diskontinuierliche Gruppen mit einer definierenden Relation. (Der Freiheitssatz).Journal für die reine und angewandte Mathematik (Crelles Journal), 1930