Class information for:
Level 1: COMPUTABLE STRUCTURE//COMPUTABLE CATEGORICITY//COMPUTABLE MODEL

Basic class information

Class id #P Avg. number of
references
Database coverage
of references
20473 458 14.3 30%



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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
621 3       MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//LOGIC 13680
2585 2             LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC 3649
20473 1                   COMPUTABLE STRUCTURE//COMPUTABLE CATEGORICITY//COMPUTABLE MODEL 458

Terms with highest relevance score



rank Term termType Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 COMPUTABLE STRUCTURE authKW 1868983 6% 97% 29
2 COMPUTABLE CATEGORICITY authKW 816705 3% 88% 14
3 COMPUTABLE MODEL authKW 768662 3% 82% 14
4 ALGEBRA AND LOGIC journal 645208 12% 17% 56
5 COMPUTABLE MODEL THEORY authKW 606090 2% 91% 10
6 SIGMA DEFINABILITY authKW 606090 2% 91% 10
7 AUTOSTABILITY authKW 533361 2% 100% 8
8 DEGREE OF CATEGORICITY authKW 466691 2% 100% 7
9 DEGREE SPECTRUM authKW 466691 2% 100% 7
10 SCOTT FAMILY authKW 466691 2% 100% 7

Web of Science journal categories



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 Logic 368757 62% 2% 285
2 Mathematics 22170 93% 0% 428
3 Mathematics, Applied 1343 22% 0% 102
4 Computer Science, Theory & Methods 104 5% 0% 22
5 Philosophy 71 2% 0% 10
6 Multidisciplinary Sciences 26 2% 0% 7
7 Social Sciences, Mathematical Methods 0 0% 0% 1
8 Statistics & Probability -0 0% 0% 2
9 Mathematics, Interdisciplinary Applications -1 0% 0% 1
10 Computer Science, Software Engineering -1 0% 0% 1

Address terms



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 NG CHEBOTAREV MECH MATH 133340 0% 100% 2
2 PHD PROGRAM COMP SCI 64098 1% 19% 5
3 SOBOLEV MATH 63236 7% 3% 30
4 PHD PROGRAM MATH 37030 1% 11% 5
5 PHD PROGRAMS MATH COMP SCI 24240 0% 18% 2
6 CHEBOTAREV MATH MECH 23182 1% 9% 4
7 DEPARMENT MATH SCI 22222 0% 33% 1
8 PH D PROGRAM MATH 22222 0% 33% 1
9 MATH STAT OPERAT 16702 2% 3% 9
10 KURT GODEL MATH LOGIC 16666 0% 25% 1

Journals



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 ALGEBRA AND LOGIC 645208 12% 17% 56
2 JOURNAL OF SYMBOLIC LOGIC 182369 19% 3% 89
3 ANNALS OF PURE AND APPLIED LOGIC 154027 15% 3% 69
4 SIBERIAN MATHEMATICAL JOURNAL 55257 11% 2% 50
5 ARCHIVE FOR MATHEMATICAL LOGIC 27682 4% 2% 20
6 MATHEMATICAL LOGIC QUARTERLY 20446 4% 2% 19
7 NOTRE DAME JOURNAL OF FORMAL LOGIC 18065 2% 3% 8
8 JOURNAL OF LOGIC AND COMPUTATION 6954 2% 1% 10
9 JOURNAL OF MATHEMATICAL LOGIC 6310 1% 3% 3
10 BULLETIN OF SYMBOLIC LOGIC 2366 1% 1% 3

Author Key Words



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
LCSH search Wikipedia search
1 COMPUTABLE STRUCTURE 1868983 6% 97% 29 Search COMPUTABLE+STRUCTURE Search COMPUTABLE+STRUCTURE
2 COMPUTABLE CATEGORICITY 816705 3% 88% 14 Search COMPUTABLE+CATEGORICITY Search COMPUTABLE+CATEGORICITY
3 COMPUTABLE MODEL 768662 3% 82% 14 Search COMPUTABLE+MODEL Search COMPUTABLE+MODEL
4 COMPUTABLE MODEL THEORY 606090 2% 91% 10 Search COMPUTABLE+MODEL+THEORY Search COMPUTABLE+MODEL+THEORY
5 SIGMA DEFINABILITY 606090 2% 91% 10 Search SIGMA+DEFINABILITY Search SIGMA+DEFINABILITY
6 AUTOSTABILITY 533361 2% 100% 8 Search AUTOSTABILITY Search AUTOSTABILITY
7 DEGREE OF CATEGORICITY 466691 2% 100% 7 Search DEGREE+OF+CATEGORICITY Search DEGREE+OF+CATEGORICITY
8 DEGREE SPECTRUM 466691 2% 100% 7 Search DEGREE+SPECTRUM Search DEGREE+SPECTRUM
9 SCOTT FAMILY 466691 2% 100% 7 Search SCOTT+FAMILY Search SCOTT+FAMILY
10 UNIVERSAL SIGMA FUNCTION 466691 2% 100% 7 Search UNIVERSAL+SIGMA+FUNCTION Search UNIVERSAL+SIGMA+FUNCTION

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.



Rank Reference # ref.
in cl.
Shr. of ref. in
cl.
Citations
1 MELNIKOV, AG , (2014) COMPUTABLE ABELIAN GROUPS.BULLETIN OF SYMBOLIC LOGIC. VOL. 20. ISSUE 3. P. 315 -356 31 78% 0
2 HARIZANOV, VS , (2002) COMPUTABILITY-THEORETIC COMPLEXITY OF COUNTABLE STRUCTURES.BULLETIN OF SYMBOLIC LOGIC. VOL. 8. ISSUE 4. P. 457 -477 30 97% 7
3 FROLOV, A , KALIMULLIN, I , HARIZANOV, V , KUDINOV, O , MILLER, R , (2012) SPECTRA OF HIGH(N) AND NON-LOW(N) DEGREES.JOURNAL OF LOGIC AND COMPUTATION. VOL. 22. ISSUE 4. P. 755-777 19 100% 4
4 KOGABAEV, NT , (2015) THE THEORY OF PROJECTIVE PLANES IS COMPLETE WITH RESPECT TO DEGREE SPECTRA AND EFFECTIVE DIMENSIONS.ALGEBRA AND LOGIC. VOL. 54. ISSUE 5. P. 387 -407 17 100% 1
5 BAZHENOV, NA , (2016) DEGREES OF AUTOSTABILITY FOR LINEAR ORDERS AND LINEARLY ORDERED ABELIAN GROUPS.ALGEBRA AND LOGIC. VOL. 55. ISSUE 4. P. 257 -273 15 100% 0
6 CSIMA, BF , HARIZANOV, VS , MILLER, R , MONTALBAN, A , (2011) COMPUTABILITY OF FRAISSE LIMITS.JOURNAL OF SYMBOLIC LOGIC. VOL. 76. ISSUE 1. P. 66-93 15 100% 3
7 KALIMULLIN, I , KHOUSSAINOV, B , MELNIKOV, A , (2013) LIMITWISE MONOTONIC SEQUENCES AND DEGREE SPECTRA OF STRUCTURES.PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. VOL. 141. ISSUE 9. P. 3275-3289 14 100% 5
8 DOWNEY, R , LEMPP, S , WU, GH , (2010) ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS.JOURNAL OF MATHEMATICAL LOGIC. VOL. 10. ISSUE 1-2. P. 83-99 15 100% 0
9 GREENBERG, N , KACH, AM , LEMPP, S , TURETSKY, DD , (2015) COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA.JOURNAL OF SYMBOLIC LOGIC. VOL. 80. ISSUE 1. P. 145 -178 13 100% 0
10 LEMPP, S , MCCOY, C , MILLER, R , SOLOMON, R , (2005) COMPUTABLE CATEGORICITY OF TREES OF FINITE HEIGHT.JOURNAL OF SYMBOLIC LOGIC. VOL. 70. ISSUE 1. P. 151-215 15 100% 12

Classes with closest relation at Level 1



Rank Class id link
1 8238 ALGORITHMIC RANDOMNESS//TURING DEGREES//KOLMOGOROV COMPLEXITY
2 20101 BOREL EQUIVALENCE RELATIONS//BOREL REDUCIBILITY//GRAEV METRIC
3 32114 PRIME GROUPS//QFA GROUPS//ALGEBRAIC MATROIDS
4 13423 REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION
5 35976 PERVAS ICT//FORMAL PEANO ARITHMETIC//LUCAS PENROSE THESIS
6 9563 O MINIMALITY//O MINIMAL STRUCTURES//O MINIMAL
7 7864 JOURNAL OF SYMBOLIC LOGIC//ABSTRACT ELEMENTARY CLASSES//LOGIC
8 22155 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
9 24722 B CHROMATIC NUMBER//B COLORING//ACHROMATIC NUMBER
10 25185 HILBERTS TENTH PROBLEM//DIOPHANTINE DEFINITION//BUCHIS PROBLEM

Go to start page