The limits of logic: Higher-order logic and the Lowenheim-Skolem theorem - Shapiro,S

被引：0

|

作者：

Williamson, T

机构：

来源：

HISTORY AND PHILOSOPHY OF LOGIC | 1996年 / 17卷 / 03期

关键词：

D O I：

暂无

中图分类号：

B82 [伦理学（道德学）];

学科分类号：

摘要：

引用

收藏

页码：175 / 176

页数：2

相关论文

共 50 条

[1] SETS OF EXPRESSIONS OF HIGHER-ORDER LOGIC, FOR WHICH THEOREM OF FINITENESS AND LOWENHEIM-SKOLEM THEOREM ARE APPLICABLE
WOLTER, H
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01): : 13 - &
[2] The Lowenheim-Skolem theorem for Godel logic
Aguilera, J. P.
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (04)
[3] LOWENHEIM-SKOLEM AND TARSKI-VAUGHT THEOREMS IN HIGHER-ORDER LOGIC
WEAVER, G
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 708 - &
[4] SUPER COMPACTS AND SKOLEM-LOWENHEIM THEOREM FOR HIGHER ORDER LOGIC
MAGIDOR, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (01): : 259 - &
[5] Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem
Jan Woleński
Erkenntnis, 1998, 49 (3) : 393 - 396
[6] A new Lowenheim-Skolem theorem
Foreman, M
Todorcevic, S
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 357 (05) : 1693 - 1715
[7] INTENDED MODELS AND LOWENHEIM-SKOLEM THEOREM
KLENK, V
JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (04) : 475 - 489
[8] EXTENSIONS OF LOWENHEIM-SKOLEM THEOREM IN INFINITE LOGICS
PABION, JF
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 268 (17): : 925 - &
[9] UNIFORM EXTENSIONS OF DOWNWARD LOWENHEIM-SKOLEM THEOREM
DICKMANN, MA
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 533 - &
[10] UPWARD UNIFORM LOWENHEIM-SKOLEM THEOREM - A GENERALIZATION OF A THEOREM BY MORLEY
DICKMANN, MA
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 534 - &

← 1 2 3 4 5 →