HERBRAND UNIFORMITY THEOREMS FOR INFINITARY LANGUAGES

被引：0

|

作者：

NEBRES, BF

机构：

来源：

JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN | 1972年 / 24卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1 / +

相关论文

共 50 条

[1] LOWENHEIM-SKOLEM AND INTERPOLATION THEOREMS IN INFINITARY LANGUAGES
KUEKER, DW
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 78 (02) : 211 - &
[2] Herbrand theorems in arbitrary institutions
Diaconescu, R
INFORMATION PROCESSING LETTERS, 2004, 90 (01) : 29 - 37
[3] REMARK ON INFINITARY LANGUAGES
FLUM, J
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (03) : 461 - &
[4] FORCING FOR INFINITARY LANGUAGES
WOOD, C
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (05): : 385 - 402
[5] Completeness and Herbrand theorems for nominal logic
Cheney, J
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 299 - 320
[6] BETH DEFINABILITY IN INFINITARY LANGUAGES
GREGORY, J
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 22 - 26
[7] FINITARY AND INFINITARY INTERPRETATIONS OF LANGUAGES
MAURER, HA
SALOMAA, A
WOOD, D
MATHEMATICAL SYSTEMS THEORY, 1982, 15 (03): : 251 - 265
[8] ON A FINITENESS CONDITION FOR INFINITARY LANGUAGES
GREGORY, J
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (02): : 425 - &
[9] IMPLICIT DEFINABILITY AND INFINITARY LANGUAGES
KUNEN, K
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 446 - &
[10] WEAK DEFINABILITY IN INFINITARY LANGUAGES
SHELAH, S
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (03) : 399 - 404

← 1 2 3 4 5 →