HANF NUMBER OF SECOND-ORDER LOGIC

被引：2

作者：

BARWISE, KJ ^{[1
]}

机构：

[1] UNIV WISCONSIN,MADISON,WI 53706

来源：

关键词：

D O I：

10.2307/2272748

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：588 / 594

页数：7

共 50 条

[1] Pure Second-Order Logic with Second-Order Identity
Paseau, Alexander
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (03) : 351 - 360
[2] HANF NUMBER OF SOUSLIN LOGIC
BURGESS, JP
JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (03) : 568 - 571
[3] Team Logic and Second-Order Logic
Kontinen, Juha
Nurmi, Ville
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 230 - 241
[4] Team Logic and Second-Order Logic
Kontinen, Juha
Nurmi, Ville
FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 259 - 272
[5] A Defense of Second-Order Logic
Bueno, Otavio
AXIOMATHES, 2010, 20 (2-3): : 365 - 383
[6] A Defense of Second-Order Logic
Otávio Bueno
Axiomathes, 2010, 20 : 365 - 383
[7] SECOND-ORDER INTENSIONAL LOGIC
CRESSWELL, MJ
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04): : 297 - 320
[8] Second-Order Logic of Paradox
Hazen, Allen P.
Pelletier, Francis Jeffry
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2018, 59 (04) : 547 - 558
[9] HANF NUMBER FOR OMEGA-LOGIC
MORLEY, M
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 437 - &
[10] REDUCTION OF SECOND-ORDER LOGIC TO MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A640 - A640