The Löwenheim–Skolem–Mal'tsev Theorem for mathbb{HF}-Structures

Author： Puzarenko V. G.  

Publisher： Springer Publishing Company

ISSN： 0002-5232

Source： Algebra and Logic, Vol.43, Iss.6, 2004-11, pp. : 418-423

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

By  

Bulletin of Symbolic Logic, Vol. 13, Iss. 2, 2007-06 ,pp. : 189-225

Cambridge University Press

Access to resources Recommend Favorite

A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property

By  

The Journal of Symbolic Logic, Vol. 53, Iss. 1, 1988-03 ,pp. : 231-242

Cambridge University Press

Access to resources Recommend Favorite

Locally Indicable Groups of Finite Mal’tsev Rank

By Kopytov V.  

Algebra and Logic, Vol. 52, Iss. 6, 2014-01 ,pp. : 511-512

Springer Publishing Company

Access to resources Recommend Favorite

On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers

By  

The Journal of Symbolic Logic, Vol. 45, Iss. 2, 1980-06 ,pp. : 265-283

Cambridge University Press

Access to resources Recommend Favorite

The property of being polynomial for Mal’tsev constraint satisfaction problems

By Bulatov A.  

Algebra and Logic, Vol. 45, Iss. 6, 2006-11 ,pp. : 371-388

Springer Publishing Company

Access to resources Recommend Favorite