A NOTE ON DEFINABLE SKOLEM FUNCTIONS

被引：9

作者：

SCOWCROFT, P ^{[1
]}

机构：

[1] OHIO STATE UNIV,DEPT MATH,COLUMBUS,OH 43210

来源：

关键词：

D O I：

10.2307/2274580

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：905 / 911

页数：7

共 10 条

[1]

Bernays, 1970, GRUNDLAGEN MATH, V2

[2] REAL CLOSED RINGS .2. MODEL-THEORY [J].

CHERLIN, G ;

DICKMANN, MA .

DENEF, J .

[4] DEFINABLE SUBSETS OF PARA-ADIC FIELDS [J].

MACINTYRE, A .

[5] AN IMAGINARY GALOIS THEORY [J].

POIZAT, B .

[6]

Takeuti G., 1975, PROOF THEORY

[7] ALGEBRAIC THEORIES WITH DEFINABLE SKOLEM FUNCTIONS [J].

VANDENDRIES, L .

[8]

WEISPFENNING V, 1984, LECT NOTES MATH, V1103, P419

[9]

Weispfenning V., 1976, ANN MATH LOGIC, V10, P59

[10]

[No title captured]