EXPLICIT DEFINABILITY

被引：0

|

作者：

CHAUBARD, A

机构：

来源：

BULLETIN DES SCIENCES MATHEMATIQUES | 1970年 / 94卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：33 / &

相关论文

共 50 条

[21] DEFINABILITY AND UNDECIDABILITY
HECKER, HD
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (01): : 81 - &
[22] κ-Madness and definability
Horowitz, Haim
Shelah, Saharon
[J]. MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (03) : 346 - 351
[23] Decidable and Undecidable Problems for First-Order Definability and Modal Definability
Balbiani, Philippe
Tinchev, Tinko
[J]. LANGUAGE, LOGIC, AND COMPUTATION, 2022, 13206 : 214 - 236
[24] IMPLICIT DEFINABILITY AND HYPERPROJECTIVITY
GRILLIOT, TJ
[J]. SCRIPTA MATHEMATICA, 1973, 29 (1-2): : 151 - 155
[25] DECIDABILITY AND DEFINABILITY WITH CIRCUMSCRIPTION
SCHLIPF, JS
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1987, 35 (02) : 173 - 191
[26] Definability, decidability, complexity
Cegielski, P
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 16 (1-4) : 311 - 341
[27] INFINITE COMBINATORICS AND DEFINABILITY
MILLER, AW
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 41 (02) : 179 - 203
[28] Universal models and definability
Caramello, Olivia
[J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2012, 152 : 279 - 302
[29] DEFINABILITY IN ORDERED SETS
KULUNKOV, PA
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1980, (01): : 48 - 51
[30] DEFINABILITY IN DYNAMIC LOGIC
MEYER, AR
PARIKH, R
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (02) : 279 - 298

← 1 2 3 4 5 →