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 条

[1] HANF NUMBER FOR THE CALCULUS WITH THE HARTIG QUANTIFIER
PINUS, AG
SIBERIAN MATHEMATICAL JOURNAL, 1979, 20 (02) : 315 - 316
[2] COMPARISON OF THE HARTIG QUANTIFIER AND THE RESCHER QUANTIFIER
HAUSCHILD, K
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 255 - 264
[3] REMARK ON HARTIG QUANTIFIER
FUHRKEN, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (03): : 227 - &
[4] THE HARTIG QUANTIFIER - A SURVEY
HERRE, H
KRYNICKI, M
PINUS, A
VAANANEN, J
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (04) : 1153 - 1183
[5] DECIDABILITY WITH RESPECT TO HARTIG QUANTIFIER AND RESCHER QUANTIFIER
WEESE, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (06): : 569 - 576
[6] LOGIC WITH THE HARTIG-QUANTIFIER
VAANANEN, J
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 465 - 466
[7] ON SOME APPLICATIONS OF GAMES FOR HARTIG QUANTIFIER
KRYNICKI, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (04): : 359 - 370
[8] THEORIES OF BOOLEAN ALGEBRAS IN A CALCULUS WITH QUANTIFIER INFINITELY MANY EXIST
PINUS, AG
SIBERIAN MATHEMATICAL JOURNAL, 1976, 17 (06) : 1035 - 1038
[9] When cardinals determine the power set: inner models and Hartig quantifier logic
Vaananen, Jouko
Welch, Philip D.
MATHEMATICAL LOGIC QUARTERLY, 2023, 69 (04) : 460 - 471
[10] UNDECIDABILITY OF WELL-ORDERING WITH HARTIG QUANTIFIER
WEESE, M
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (02): : 89 - 91

← 1 2 3 4 5 →