Class information for: |
Basic class information |
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 |
| 13883 | 1 | REVERSE MATHEMATICS//PROOF MINING//FUNCTIONAL INTERPRETATION | 837 |
Terms with highest relevance score |
| rank | Category | termType | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|---|
| 1 | REVERSE MATHEMATICS | authKW | 2126774 | 10% | 65% | 87 |
| 2 | PROOF MINING | authKW | 870259 | 4% | 66% | 35 |
| 3 | FUNCTIONAL INTERPRETATION | authKW | 831780 | 3% | 82% | 27 |
| 4 | LOGIC | WoSSC | 619143 | 60% | 3% | 500 |
| 5 | SECOND ORDER ARITHMETIC | authKW | 520672 | 3% | 63% | 22 |
| 6 | RAMSEYS THEOREM | authKW | 414944 | 3% | 48% | 23 |
| 7 | ANNALS OF PURE AND APPLIED LOGIC | journal | 397788 | 18% | 7% | 149 |
| 8 | FAST GROWING HIERARCHY | authKW | 342299 | 1% | 91% | 10 |
| 9 | EPSILON SUBSTITUTION | authKW | 338877 | 1% | 100% | 9 |
| 10 | MAJORIZABILITY | authKW | 263571 | 1% | 100% | 7 |
Web of Science journal categories |
| chi_square_rank | Category | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | Logic | 619143 | 60% | 3% | 500 |
| 2 | Mathematics | 31208 | 82% | 0% | 690 |
| 3 | Mathematics, Applied | 3624 | 27% | 0% | 224 |
| 4 | Computer Science, Theory & Methods | 1545 | 12% | 0% | 103 |
| 5 | Philosophy | 774 | 5% | 0% | 42 |
| 6 | History & Philosophy of Science | 81 | 1% | 0% | 10 |
| 7 | Computer Science, Software Engineering | 17 | 2% | 0% | 13 |
| 8 | Social Sciences, Mathematical Methods | 11 | 1% | 0% | 5 |
| 9 | Computer Science, Artificial Intelligence | 2 | 1% | 0% | 9 |
| 10 | Mathematics, Interdisciplinary Applications | 1 | 1% | 0% | 6 |
Address terms |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | MATH LOG GRUNDLAGENFOR | 113376 | 2% | 19% | 16 |
| 2 | VAKGROEP ZUIVERE WISKUNDE COMP ALGEBRA | 84718 | 0% | 75% | 3 |
| 3 | MATH LOGIK GRUNDLAGENFOR | 56477 | 0% | 50% | 3 |
| 4 | CFS PHILOSOPHY | 37653 | 0% | 100% | 1 |
| 5 | COM2 | 37653 | 0% | 100% | 1 |
| 6 | COMP SCI WEB INFORMAT ENGN | 37653 | 0% | 100% | 1 |
| 7 | DIPARTIMENTO MATH ROBERTO MAGARI | 37653 | 0% | 100% | 1 |
| 8 | EQUIPE PIR2 | 37653 | 0% | 100% | 1 |
| 9 | EQUIPE PLUMEUMR 5668 | 37653 | 0% | 100% | 1 |
| 10 | EQUIPE PREUVESPROGRAMMES SYST | 37653 | 0% | 100% | 1 |
Journals |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass |
|---|---|---|---|---|---|
| 1 | ANNALS OF PURE AND APPLIED LOGIC | 397788 | 18% | 7% | 149 |
| 2 | JOURNAL OF SYMBOLIC LOGIC | 261889 | 17% | 5% | 143 |
| 3 | ARCHIVE FOR MATHEMATICAL LOGIC | 237701 | 9% | 8% | 79 |
| 4 | MATHEMATICAL LOGIC QUARTERLY | 95690 | 7% | 5% | 55 |
| 5 | NOTRE DAME JOURNAL OF FORMAL LOGIC | 36902 | 2% | 6% | 16 |
| 6 | JOURNAL OF MATHEMATICAL LOGIC | 30791 | 1% | 9% | 9 |
| 7 | BULLETIN OF SYMBOLIC LOGIC | 28689 | 2% | 5% | 14 |
| 8 | ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 24512 | 2% | 4% | 18 |
| 9 | ANNALS OF MATHEMATICAL LOGIC | 18820 | 0% | 13% | 4 |
| 10 | LOGICAL METHODS IN COMPUTER SCIENCE | 11138 | 2% | 2% | 14 |
Author Key Words |
| chi_square_rank | term | chi_square | shrOfCwithTerm | shrOfTermInClass | termInClass | LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | REVERSE MATHEMATICS | 2126774 | 10% | 65% | 87 | Search REVERSE+MATHEMATICS | Search REVERSE+MATHEMATICS |
| 2 | PROOF MINING | 870259 | 4% | 66% | 35 | Search PROOF+MINING | Search PROOF+MINING |
| 3 | FUNCTIONAL INTERPRETATION | 831780 | 3% | 82% | 27 | Search FUNCTIONAL+INTERPRETATION | Search FUNCTIONAL+INTERPRETATION |
| 4 | SECOND ORDER ARITHMETIC | 520672 | 3% | 63% | 22 | Search SECOND+ORDER+ARITHMETIC | Search SECOND+ORDER+ARITHMETIC |
| 5 | RAMSEYS THEOREM | 414944 | 3% | 48% | 23 | Search RAMSEYS+THEOREM | Search RAMSEYS+THEOREM |
| 6 | FAST GROWING HIERARCHY | 342299 | 1% | 91% | 10 | Search FAST+GROWING+HIERARCHY | Search FAST+GROWING+HIERARCHY |
| 7 | EPSILON SUBSTITUTION | 338877 | 1% | 100% | 9 | Search EPSILON+SUBSTITUTION | Search EPSILON+SUBSTITUTION |
| 8 | MAJORIZABILITY | 263571 | 1% | 100% | 7 | Search MAJORIZABILITY | Search MAJORIZABILITY |
| 9 | WELL PARTIAL ORDERINGS | 263571 | 1% | 100% | 7 | Search WELL+PARTIAL+ORDERINGS | Search WELL+PARTIAL+ORDERINGS |
| 10 | BAR RECURSION | 225918 | 1% | 100% | 6 | Search BAR+RECURSION | Search BAR+RECURSION |
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 |