ON SETS OF RELATIONS DEFINABLE BY ADDITION

被引：13

作者：

LYNCH, JF

机构：

来源：

关键词：

D O I：

10.2307/2273595

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：659 / 668

页数：10

共 19 条

[1]

BENDA M, UNPUB INFINITE WORDS

[2]

BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[3]

EHRENFEUCHT A, 1957, FUNDAMENTA MATH, V43, P50

[4]

Ehrenfeucht A., 1961, FUND MATH, V49, P129

[5]

Elgot C.C., 1961, T AM MATH SOC, V98, P21

[6] PROBABILITIES ON FINITE MODELS [J].

FAGIN, R .

[7]

FAGIN R, 1975, Z MATH LOGIK, V21, P89, DOI 10.1002/malq.19750210112

[8] CONCERNING MEASURES IN FIRST ORDER CALCULI [J].

GAIFMAN, H .

[9]

IMMERMAN N, UNPUB J COMPUTER SYS

[10] TURING MACHINES AND SPECTRA OF FIRST-ORDER FORMULAS [J].

JONES, ND ;

SELMAN, AL .