UNIFYING DEFINABILITY THEORY

被引：0

|

作者：

HINTIKKA, J

RANTALA, V

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：198 / 198

页数：1

相关论文

共 50 条

[1] ON WEAK DEFINABILITY IN SET THEORY
TAKEUTI, G
PROCEEDINGS OF THE JAPAN ACADEMY, 1962, 38 (02): : 43 - &
[2] A GALOIS CONNECTION IN DEFINABILITY THEORY
REYES, GE
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 533 - &
[3] A unifying theory
Vulto, Arnold G.
EJHP PRACTICE, 2011, 17 (03): : 9 - 9
[4] DEFINABILITY IN THE EXISTENTIAL THEORY OF CONCATENATION AND UNDECIDABLE EXTENSIONS OF THIS THEORY
BUCHI, JR
SENGER, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (04): : 337 - 342
[5] Definability in Logic and Rough Set Theory
Fan, Tuan-Fang
Liau, Churn-Jung
Liu, Duen-Ren
ECAI 2008, PROCEEDINGS, 2008, 178 : 749 - +
[6] INDUCTIVE DEFINABILITY IN FORMAL LANGUAGE THEORY
SCHULER, PF
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (03) : 400 - 412
[7] UNDECIDABILITY AND DEFINABILITY FOR THE THEORY OF GLOBAL FIELDS
RUMELY, RS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 262 (01) : 195 - 217
[8] Definability in the Local Theory of the ω-Enumeration Degrees
Ganchev, Hristo
MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE, 2009, 5635 : 242 - 249
[9] Algebraicity and Implicit Definability in Set Theory
Hamkins, Joel David
Leahy, Cole
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2016, 57 (03) : 431 - 439
[10] DEFINABILITY IN MODELS OF SET-THEORY
GUASPARI, D
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 9 - 19

← 1 2 3 4 5 →