Class information for:
Level 1: COMPUTABLE ANALYSIS//DOMAIN THEORY//SCOTT TOPOLOGY

Basic class information

Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes

The table includes all classes above and classes immediately below the current class.



Cluster id Level Cluster label #P
14 4 MATHEMATICS//MATHEMATICS, APPLIED//MATH 912822
458 3       LOGIC//JOURNAL OF SYMBOLIC LOGIC//TOPOLOGY AND ITS APPLICATIONS 26185
1372 2             LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC 8442
11417 1                   COMPUTABLE ANALYSIS//DOMAIN THEORY//SCOTT TOPOLOGY 1010

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 COMPUTABLE ANALYSIS authKW 1830760 9% 66% 89
2 DOMAIN THEORY authKW 584078 5% 40% 47
3 SCOTT TOPOLOGY authKW 399379 2% 53% 24
4 COMPUTABLE TOPOLOGY authKW 312032 1% 100% 10
5 COMPUTABLE METRIC SPACE authKW 290427 1% 85% 11
6 DOMAIN REPRESENTABLE authKW 249626 1% 100% 8
7 LAWSON COMPACT authKW 249626 1% 100% 8
8 EXACT REAL NUMBER COMPUTATION authKW 218423 1% 100% 7
9 CORE COMPACT SPACE authKW 187219 1% 100% 6
10 TYPE 2 THEORY OF EFFECTIVITY authKW 181542 1% 73% 8

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 82650 20% 1% 201
2 Computer Science, Theory & Methods 26950 45% 0% 452
3 Mathematics 14025 51% 0% 515
4 Mathematics, Applied 3769 25% 0% 252
5 Computer Science, Software Engineering 333 5% 0% 47
6 Computer Science, Hardware & Architecture 52 2% 0% 16
7 Computer Science, Artificial Intelligence 13 2% 0% 16
8 Computer Science, Information Systems 8 1% 0% 14
9 Statistics & Probability 3 1% 0% 10
10 Philosophy 3 0% 0% 5

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 FDN ASPECTS COMP SCI 169881 1% 78% 7
2 DPT MATH COMP SCI 93610 0% 100% 3
3 FOUNDAT ASPECTS COMP SCI 83206 0% 67% 4
4 INFORMATIKZENTRUM 62406 0% 100% 2
5 INFORMATZENTRUM 62406 0% 100% 2
6 CLERMONT 33965 1% 16% 7
7 AIX EN PROVENCE LMC 31203 0% 100% 1
8 COMPUTAB LOG GRP 31203 0% 100% 1
9 DASSAULT SYST PROV 31203 0% 100% 1
10 DASSAULT SYST PROVENCE 31203 0% 100% 1

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 MATHEMATICAL LOGIC QUARTERLY 91241 6% 5% 59
2 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 81260 4% 7% 38
3 THEORETICAL COMPUTER SCIENCE 64525 15% 1% 150
4 LOGICAL METHODS IN COMPUTER SCIENCE 42428 3% 5% 30
5 ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS 26344 3% 3% 29
6 TOPOLOGY AND ITS APPLICATIONS 22925 7% 1% 68
7 ANNALS OF PURE AND APPLIED LOGIC 22524 4% 2% 39
8 ALGEBRA UNIVERSALIS 11609 3% 1% 26
9 INFORMATION AND COMPUTATION 11213 3% 1% 28
10 JOURNAL OF UNIVERSAL COMPUTER SCIENCE 11172 2% 1% 25

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 COMPUTABLE ANALYSIS 1830760 9% 66% 89 Search COMPUTABLE+ANALYSIS Search COMPUTABLE+ANALYSIS
2 DOMAIN THEORY 584078 5% 40% 47 Search DOMAIN+THEORY Search DOMAIN+THEORY
3 SCOTT TOPOLOGY 399379 2% 53% 24 Search SCOTT+TOPOLOGY Search SCOTT+TOPOLOGY
4 COMPUTABLE TOPOLOGY 312032 1% 100% 10 Search COMPUTABLE+TOPOLOGY Search COMPUTABLE+TOPOLOGY
5 COMPUTABLE METRIC SPACE 290427 1% 85% 11 Search COMPUTABLE+METRIC+SPACE Search COMPUTABLE+METRIC+SPACE
6 DOMAIN REPRESENTABLE 249626 1% 100% 8 Search DOMAIN+REPRESENTABLE Search DOMAIN+REPRESENTABLE
7 LAWSON COMPACT 249626 1% 100% 8 Search LAWSON+COMPACT Search LAWSON+COMPACT
8 EXACT REAL NUMBER COMPUTATION 218423 1% 100% 7 Search EXACT+REAL+NUMBER+COMPUTATION Search EXACT+REAL+NUMBER+COMPUTATION
9 CORE COMPACT SPACE 187219 1% 100% 6 Search CORE+COMPACT+SPACE Search CORE+COMPACT+SPACE
10 TYPE 2 THEORY OF EFFECTIVITY 181542 1% 73% 8 Search TYPE+2+THEORY+OF+EFFECTIVITY Search TYPE+2+THEORY+OF+EFFECTIVITY

Core articles

The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.

Classes with closest relation at Level 1



rank cluster_id2 link
1 20374 DITOPOLOGY//QUASI UNIFORMITY//TEXTURE SPACE
2 14844 CONSTRUCTIVE MATHEMATICS//CONSTRUCTIVE SET THEORY//CONSTRUCTIVE
3 18056 HYPERCOMPUTATION//CHURCH TURING THESIS//ANALOG COMPUTATION
4 38661 HIGHER DIMENSIONAL AUTOMATA//DIHOMOTOPY//DIRECTED ALGEBRAIC TOPOLOGY
5 8484 ALGORITHMIC RANDOMNESS//TURING DEGREES//LOGIC
6 3042 LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS
7 13883 REVERSE MATHEMATICS//PROOF MINING//FUNCTIONAL INTERPRETATION
8 12971 LOCALE//F RING//BIFRAME
9 14302 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
10 17500 INDISTINGUISHABILITY OPERATOR//FUZZY EQUALITY//FUZZY CHOICE FUNCTION

Go to start page