Publisher： Cambridge University Press
E-ISSN： 1943-5886|34|3|437-459
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.34, Iss.3, 1969-11, pp. : 437-459
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Barwise: Abstract Model Theory and Generalized Quantifiers
Bulletin of Symbolic Logic, Vol. 10, Iss. 1, 2004-03 ,pp. :
Access to resources
Recommend
Arithmetic definability by formulas with two quantifiers
The Journal of Symbolic Logic, Vol. 57, Iss. 1, 1992-03 ,pp. :
Canonical formulas for K4. Part III: the finite model property
The Journal of Symbolic Logic, Vol. 62, Iss. 3, 1997-09 ,pp. :
A dichotomy in classifying quantifiers for finite models
The Journal of Symbolic Logic, Vol. 70, Iss. 4, 2005-12 ,pp. :