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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|53|1|231-242

ISSN： 0022-4812

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

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

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

By Puzarenko V. G.  

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

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

On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A

By  

The Journal of Symbolic Logic, Vol. 51, Iss. 2, 1986-06 ,pp. : 302-322

Cambridge University Press

Access to resources Recommend Favorite

The completeness theorem for infinitary logic

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 1, 1972-03 ,pp. : 31-34

Cambridge University Press

Access to resources Recommend Favorite