UNIFORM INDUCTIVE DEFINABILITY AND INFINITARY LANGUAGES

被引：2

|

作者：

NYBERG, AM ^{[1
]}

机构：

[1] UNIV OSLO,BLINDERN,OSLO,NORWAY

来源：

JOURNAL OF SYMBOLIC LOGIC | 1976年 / 41卷 / 01期

关键词：

D O I：

10.2307/2272950

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：109 / 120

页数：12

相关论文

共 50 条

[1] IMPLICIT DEFINABILITY AND INFINITARY LANGUAGES
KUNEN, K
[J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 446 - &
[2] WEAK DEFINABILITY IN INFINITARY LANGUAGES
SHELAH, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (03) : 399 - 404
[3] BETH DEFINABILITY IN INFINITARY LANGUAGES
GREGORY, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 22 - 26
[4] DEFINABILITY IN INFINITARY LANGUAGES AND INVARIANCE BY AUTOMORPHISMS
Rodrigues, Alexandre A. M.
de Miranda Filho, Ricardo C.
de Souza, Edelcio G.
[J]. REPORTS ON MATHEMATICAL LOGIC, 2010, 45 : 119 - 133
[5] WEAK DEFINABILITY FOR INFINITARY LANGUAGES - PRELIMINARY REPORT
SHELAH, S
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 834 - &
[6] INFINITARY LOGIC AND INDUCTIVE DEFINABILITY OVER FINITE STRUCTURES
DAWAR, A
LINDELL, S
WEINSTEIN, S
[J]. INFORMATION AND COMPUTATION, 1995, 119 (02) : 160 - 175
[7] BETH DEFINABILITY FOR INFINITARY FINITE-QUANTIFIER LANGUAGES
GREGORY, J
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A329 - A329
[8] Computational inductive definability
Kozen, D
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2004, 126 (1-3) : 139 - 148
[9] The complexity of inductive definability
Cenzer, D
Remmel, JB
[J]. NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 75 - 85
[10] GLOBAL INDUCTIVE DEFINABILITY
BARWISE, J
MOSCHOVAKIS, YN
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (03) : 521 - 534

← 1 2 3 4 5 →