CARDINALITY OF MODELS FOR THEORIES IN A CALCULUS WITH A HARTIG QUANTIFIER

被引：0
|
作者：
PINUS, AG
机构：
来源：
SIBERIAN MATHEMATICAL JOURNAL | 1978年 / 19卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：949 / 955
页数：7
相关论文
共 50 条
  • [21] ITO CALCULUS FOR SIGMA-MODELS AND YANG-MILLS THEORIES
    PATRASCIOIU, A
    RICHARD, JL
    LETTERS IN MATHEMATICAL PHYSICS, 1985, 9 (03) : 191 - 194
  • [22] Ultrafilter translations .1. (lambda,lambda)-compactness of logics with a cardinality quantifier
    Lipparini, P
    ARCHIVE FOR MATHEMATICAL LOGIC, 1996, 35 (02) : 63 - 87
  • [23] An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
    Angelo Brillout
    Daniel Kroening
    Philipp Rümmer
    Thomas Wahl
    Journal of Automated Reasoning, 2011, 47 : 341 - 367
  • [24] An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
    Brillout, Angelo
    Kroening, Daniel
    Ruemmer, Philipp
    Wahl, Thomas
    JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 341 - 367
  • [25] A tableau calculus for quantifier-free set theoretic formulae
    Beckert, B
    Hartmer, U
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 93 - 107
  • [26] An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
    Brillout, Angelo
    Kroening, Daniel
    Ruemmer, Philipp
    Wahl, Thomas
    AUTOMATED REASONING, 2010, 6173 : 384 - +
  • [27] Sets with Cardinality Constraints in Satisfiability Modulo Theories
    Suter, Philippe
    Steiger, Robin
    Kuncak, Viktor
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 403 - 418
  • [28] NOTE ON EXTENDED PROPOSITION AL CALCULUS WITH SINGLE PRIMITIVE QUANTIFIER
    ROSE, A
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 277 (14): : 641 - 643
  • [29] SET-THEORETICAL MODELS OF LAMBDA-CALCULUS - THEORIES, EXPANSIONS, ISOMORPHISMS
    LONGO, G
    ANNALS OF PURE AND APPLIED LOGIC, 1983, 24 (02) : 153 - 188
  • [30] SOLUBILITY OF THEORIES IN A CERTAIN CALCULUS
    IVANOV, AA
    MATHEMATICAL NOTES, 1983, 33 (3-4) : 317 - 321
12345