Class information for:
Level 2: LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
2585 3649 20.6 28%


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
8238 1                   ALGORITHMIC RANDOMNESS//TURING DEGREES//KOLMOGOROV COMPLEXITY 1276
13423 1                   REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION 838
17404 1                   HYPERCOMPUTATION//CHURCH TURING THESIS//ANALOG COMPUTATION 601
20473 1                   COMPUTABLE STRUCTURE//COMPUTABLE CATEGORICITY//COMPUTABLE MODEL 458
31530 1                   INT GRP CHAOS STUDIES//INDUCTIVE TURING MACHINE//SUPER RECURSIVE ALGORITHMS 151
32574 1                   AGENCE DEVALUATION DE LA RECHERCHE ET DE LENSEIGNEMENT SUPERIEUR//ARITHMETICAL GAMES//ASSOCIATOR SELECTION MECHANISM 137
35257 1                   ALPHABETISATION//INACCESSIBLE REAL NUMBERS//MEANING IN MATHEMATICS 100
35976 1                   PERVAS ICT//FORMAL PEANO ARITHMETIC//LUCAS PENROSE THESIS 88

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 LOGIC WoSSC 1238696 40% 10% 1475
2 JOURNAL OF SYMBOLIC LOGIC journal 619157 13% 16% 463
3 ANNALS OF PURE AND APPLIED LOGIC journal 611071 11% 19% 388
4 REVERSE MATHEMATICS authKW 561951 3% 73% 92
5 TURING DEGREES authKW 468584 2% 81% 69
6 ALGORITHMIC RANDOMNESS authKW 444407 2% 80% 66
7 ARCHIVE FOR MATHEMATICAL LOGIC journal 316960 5% 20% 191
8 COMPUTABILITY authKW 301440 3% 36% 101
9 HYPERCOMPUTATION authKW 275743 1% 80% 41
10 KOLMOGOROV COMPLEXITY authKW 243773 3% 29% 100

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 1238696 40% 10% 1475
2 Mathematics 68403 59% 0% 2146
3 Computer Science, Theory & Methods 14961 18% 0% 658
4 Mathematics, Applied 9371 21% 0% 764
5 Philosophy 6375 7% 0% 247
6 History & Philosophy of Science 1656 2% 0% 89
7 Computer Science, Artificial Intelligence 589 4% 0% 143
8 Computer Science, Hardware & Architecture 209 2% 0% 60
9 Computer Science, Software Engineering 184 2% 0% 78
10 Social Sciences, Mathematical Methods 100 1% 0% 29

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 INFORMAT ANGEW MATH 94772 1% 33% 34
2 INT GRP CHAOS STUDIES 41831 0% 100% 5
3 MATH STAT OPERAT 39328 1% 12% 39
4 DM ISA 33465 0% 100% 4
5 MATH COMP SCI R MAGARI 33465 0% 100% 4
6 MATH LOG GRUNDLAGENFOR 29823 0% 21% 17
7 MATEMAT LICACOES FUNDAMENTAIS COMPLEXO IN 26770 0% 80% 4
8 PERVAS ICT 20911 0% 50% 5
9 NG CHEBOTAREV MECH MATH 16733 0% 100% 2
10 THEORET ASPECTS SOFTWARE SYST GRP 16733 0% 100% 2

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 JOURNAL OF SYMBOLIC LOGIC 619157 13% 16% 463
2 ANNALS OF PURE AND APPLIED LOGIC 611071 11% 19% 388
3 ARCHIVE FOR MATHEMATICAL LOGIC 316960 5% 20% 191
4 MATHEMATICAL LOGIC QUARTERLY 143323 4% 12% 142
5 ALGEBRA AND LOGIC 92861 2% 19% 60
6 NOTRE DAME JOURNAL OF FORMAL LOGIC 74939 1% 19% 46
7 BULLETIN OF SYMBOLIC LOGIC 72971 1% 19% 47
8 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 52904 2% 11% 56
9 JOURNAL OF MATHEMATICAL LOGIC 46552 1% 24% 23
10 MINDS AND MACHINES 46075 1% 11% 52

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 REVERSE MATHEMATICS 561951 3% 73% 92 Search REVERSE+MATHEMATICS Search REVERSE+MATHEMATICS
2 TURING DEGREES 468584 2% 81% 69 Search TURING+DEGREES Search TURING+DEGREES
3 ALGORITHMIC RANDOMNESS 444407 2% 80% 66 Search ALGORITHMIC+RANDOMNESS Search ALGORITHMIC+RANDOMNESS
4 COMPUTABILITY 301440 3% 36% 101 Search COMPUTABILITY Search COMPUTABILITY
5 HYPERCOMPUTATION 275743 1% 80% 41 Search HYPERCOMPUTATION Search HYPERCOMPUTATION
6 KOLMOGOROV COMPLEXITY 243773 3% 29% 100 Search KOLMOGOROV+COMPLEXITY Search KOLMOGOROV+COMPLEXITY
7 COMPUTABLE STRUCTURE 234533 1% 97% 29 Search COMPUTABLE+STRUCTURE Search COMPUTABLE+STRUCTURE
8 COMPUTABLY ENUMERABLE SET 228166 1% 91% 30 Search COMPUTABLY+ENUMERABLE+SET Search COMPUTABLY+ENUMERABLE+SET
9 COMPUTABILITY THEORY 216334 1% 63% 41 Search COMPUTABILITY+THEORY Search COMPUTABILITY+THEORY
10 ENUMERATION DEGREES 184405 1% 96% 23 Search ENUMERATION+DEGREES Search ENUMERATION+DEGREES

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 BARMPALIAS, G , (2013) ALGORITHMIC RANDOMNESS AND MEASURES OF COMPLEXITY.BULLETIN OF SYMBOLIC LOGIC. VOL. 19. ISSUE 3. P. 318-350 43 98% 0
2 DOWNEY, R , HIRSCHFELDT, DR , NIES, A , TERWIJN, SA , (2006) CALIBRATING RANDOMNESS.BULLETIN OF SYMBOLIC LOGIC. VOL. 12. ISSUE 3. P. 411 -491 48 87% 35
3 GREENBERG, N , KUCERA, A , NIES, A , BIENVENU, L , TURETSKY, D , (2016) COHERENT RANDOMNESS TESTS AND COMPUTING THE K-TRIVIAL SETS.JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY. VOL. 18. ISSUE 4. P. 773 -812 30 100% 2
4 MONTALBAN, A , (2011) OPEN QUESTIONS IN REVERSE MATHEMATICS.BULLETIN OF SYMBOLIC LOGIC. VOL. 17. ISSUE 3. P. 431 -454 36 90% 11
5 PATEY, L , (2016) OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS.BULLETIN OF SYMBOLIC LOGIC. VOL. 22. ISSUE 2. P. 151 -169 29 100% 0
6 KIHARA, T , MIYABE, K , (2015) UNIFIED CHARACTERIZATIONS OF LOWNESS PROPERTIES VIA KOLMOGOROV COMPLEXITY.ARCHIVE FOR MATHEMATICAL LOGIC. VOL. 54. ISSUE 3-4. P. 329 -358 31 94% 0
7 PICCININI, G , (2011) THE PHYSICAL CHURCH-TURING THESIS: MODEST OR BOLD?.BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE. VOL. 62. ISSUE 4. P. 733 -769 40 74% 6
8 SHORE, RA , (2006) DEGREE STRUCTURES: LOCAL AND GLOBAL INVESTIGATIONS.BULLETIN OF SYMBOLIC LOGIC. VOL. 12. ISSUE 3. P. 369 -389 34 100% 5
9 MELNIKOV, AG , (2014) COMPUTABLE ABELIAN GROUPS.BULLETIN OF SYMBOLIC LOGIC. VOL. 20. ISSUE 3. P. 315 -356 33 83% 0
10 SIMPSON, SG , (2011) MASS PROBLEMS ASSOCIATED WITH EFFECTIVELY CLOSED SETS.TOHOKU MATHEMATICAL JOURNAL. VOL. 63. ISSUE 4. P. 489 -517 29 91% 9

Classes with closest relation at Level 2


Rank Class id link
1 1635 APPLIED CATEGORICAL STRUCTURES//FUZZY TOPOLOGY//FUZZY SETS AND SYSTEMS
2 1059 MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//P SYSTEMS
3 3976 PREDICTION WITH EXPERT ADVICE//GAME THEORETIC PROBABILITY//REGRET MINIMIZATION
4 1117 PHILOSOPHY//ANALYSIS//JOURNAL OF PHILOSOPHICAL LOGIC
5 3125 JOURNAL OF SYMBOLIC LOGIC//LOGIC//ABSTRACT ELEMENTARY CLASSES
6 2540 CELLULAR AUTOMATA//JOURNAL OF CELLULAR AUTOMATA//PHYSARUM POLYCEPHALUM
7 2659 MV ALGEBRA//LOGIC//BL ALGEBRA
8 1890 CONSTRAINTS//BOUNDED ARITHMETIC//PROOF COMPLEXITY
9 708 COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS
10 3847 IEEE ANNALS OF THE HISTORY OF COMPUTING//ANNALS OF THE HISTORY OF COMPUTING//HISTORY & PHILOSOPHY OF SCIENCE

Go to start page