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

Publisher： Cambridge University Press

E-ISSN： 1943-5894|13|2|189-225

ISSN： 1079-8986

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

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

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

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

Almost combinatorial Skolem functions

By  

The Journal of Symbolic Logic, Vol. 35, Iss. 1, 1970-03 ,pp. : 65-72

Cambridge University Press

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

Combinatorial proofs of identities of Calkin and Hirschhorn

By Feng H.   Zhang Z.  

Discrete Mathematics, Vol. 277, Iss. 1, 2004-02 ,pp. : 287-294

Elsevier

Access to resources Recommend Favorite