ALGEBRAIC THEORIES WITH DEFINABLE SKOLEM FUNCTIONS

被引：47

|

作者：

VANDENDRIES, L

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期

关键词：

D O I：

10.2307/2274194

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：625 / 629

页数：5

相关论文

共 50 条

[1] A NOTE ON DEFINABLE SKOLEM FUNCTIONS
SCOWCROFT, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (03) : 905 - 911
[2] Adding Skolem functions to simple theories
Herwig Nübling
[J]. Archive for Mathematical Logic, 2004, 43 : 359 - 370
[3] A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
Kovacsics, Pablo Cubides
Kien Huu Nguyen
[J]. JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (02) : 778 - 786
[4] Adding Skolem functions to simple theories
Nübling, H
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (03) : 359 - 370
[5] On Algebraic and Definable Closures for Theories of Abelian Groups
Pavlyuk, Inessa I.
[J]. BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2024, 47 : 107 - 118
[6] ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES
Eleftheriou, Pantelis E.
Hasson, Assaf
Keren, Gil
[J]. JOURNAL OF SYMBOLIC LOGIC, 2017, 82 (04) : 1482 - 1495
[7] Fundamental group in o-minimal structures with definable Skolem functions
Dinis, Bruno
Edmundo, Mario J.
Mamino, Marcello
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2021, 172 (08)
[8] Skolem problems on algebraic stacks
Moret-Bailly, L
[J]. COMPOSITIO MATHEMATICA, 2001, 125 (01) : 1 - 30
[9] ELEMENTARY SKOLEM FUNCTIONS
MARCHENKOV, SS
[J]. MATHEMATICAL NOTES, 1975, 17 (1-2) : 79 - 83
[10] THE LACK OF DEFINABLE WITNESSES AND PROVABLY RECURSIVE FUNCTIONS IN INTUITIONISTIC SET THEORIES
FRIEDMAN, H
SCEDROV, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1095 - 1095

← 1 2 3 4 5 →