DEFINABILITY PROBLEMS IN ELEMENTARY TOPOLOGY

被引：0

|

作者：

YASUGI, M

机构：

来源：

JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS | 1983年 / 34卷 / JUN期

关键词：

D O I：

10.1017/S144678870002382X

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：399 / 420

页数：22

相关论文

共 50 条

[1] DEFINABILITY OF THEORETICAL CONCEPTS IN ELEMENTARY THEORIES
VICKERS, JM
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (01) : 149 - &
[2] Modal languages for topology: Expressivity and definability
ten Cate, Balder
Gabelaia, David
Sustretov, Dmitry
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 159 (1-2) : 146 - 170
[3] ELEMENTARY DEFINABILITY OF DIMENSION AND DEGREE OF ALGEBRAIC MANIFOLDS
STUTZER, H
[J]. ARCHIV DER MATHEMATIK, 1977, 28 (03) : 270 - 273
[4] An elementary definability theorem for first order logic
Butz, C
Moerdijk, I
[J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1028 - 1036
[5] DEFINABILITY PROBLEMS FOR MODULES AND RINGS
SABBAGH, G
EKLOF, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 623 - &
[6] On the problems of definability in the enumeration degrees
Kalimullin, IS
[J]. NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 221 - 222
[7] Undecidable problems for modal definability
Balbiani, Philippe
Tinchev, Tinko
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (03) : 901 - 920
[8] Decidable and Undecidable Problems for First-Order Definability and Modal Definability
Balbiani, Philippe
Tinchev, Tinko
[J]. LANGUAGE, LOGIC, AND COMPUTATION, 2022, 13206 : 214 - 236
[9] On relatively elementary definability of graph classes in the class of semigroups
Molchanov, Vladimir A.
[J]. ALGEBRA UNIVERSALIS, 2022, 83 (03)
[10] On relatively elementary definability of graph classes in the class of semigroups
Vladimir A. Molchanov
[J]. Algebra universalis, 2022, 83

← 1 2 3 4 5 →