Order:
Disambiguations
Kim Bruce [7]Kim B. Bruce [4]
  1.  72
    $L_a(\finv)$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15 - 28.
    The language $L_A(\Finv)$ is formed by adding the quantifier $\Finv x$ , "few x", to the infinitary logic L A on an admissible set A. A complete axiomatization is obtained for models whose universe is the set of ordinals of A and where $\Finv x$ is interpreted as there exist A-finitely many x. For well-behaved A, every consistent sentence has a model with an A-recursive diagram. A principal tool is forcing for $L_A(\Finv)$.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  29
    Ideal models and some not so ideal problems in the model theory of l(q).Kim B. Bruce - 1978 - Journal of Symbolic Logic 43 (2):304-321.
  3.  15
    $L_a$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15-28.
    The language $L_A$ is formed by adding the quantifier $\Finv x$ , "few x", to the infinitary logic L A on an admissible set A. A complete axiomatization is obtained for models whose universe is the set of ordinals of A and where $\Finv x$ is interpreted as there exist A-finitely many x. For well-behaved A, every consistent sentence has a model with an A-recursive diagram. A principal tool is forcing for $L_A$.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  29
    Menachem Magidor and Jerome Malitz. Compact extensions of L . Annals of mathematical logic, vol. 11 , pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L. The journal of symbolic logic, vol. 44 , pp. 507–521. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
  5.  26
    Johan van Benthem and Kees Doets. Higher-order logic. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 275–329. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
  6.  44
    Review: Johan van Benthem, Kees Doets, Higher-order Logic. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
  7.  41
    Model constructions in stationary logic. Part I. forcing.Kim B. Bruce - 1980 - Journal of Symbolic Logic 45 (3):439-454.
  8.  11
    Model constructions in stationary logic. II. Definable ultrapowers.Kim B. Bruce - 1986 - Notre Dame Journal of Formal Logic 27 (2):257-262.
  9.  12
    Review: Menachem Magidor, Jerome Malitz, Compact Extensions of $ L (\ mathbf {Q}) $(Part 1a); Matt Kaufmann, A New Omitting Types Theorem for $ L (Q) $. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.