Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
31410 | 153 | 18.0 | 18% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Cluster id | Level | Cluster label | #P |
---|---|---|---|
1 | 4 | ECONOMICS//EDUCATION & EDUCATIONAL RESEARCH//PSYCHOL | 3876184 |
175 | 3 | PHILOSOPHY//PHILOSOPHICAL STUDIES//SYNTHESE | 58071 |
1117 | 2 | PHILOSOPHY//ANALYSIS//JOURNAL OF PHILOSOPHICAL LOGIC | 9695 |
31410 | 1 | SERV LOG//GPK THEORY//ANTI FOUNDATION | 153 |
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 | SERV LOG | address | 1222417 | 5% | 88% | 7 |
2 | GPK THEORY | authKW | 798314 | 3% | 100% | 4 |
3 | ANTI FOUNDATION | authKW | 598736 | 2% | 100% | 3 |
4 | RAMIFIABILITY | authKW | 598736 | 2% | 100% | 3 |
5 | DIRECTED SET | authKW | 478981 | 4% | 40% | 6 |
6 | HYPERUNIVERSES | authKW | 399157 | 1% | 100% | 2 |
7 | KAPPA HEREDITARY SETS | authKW | 399157 | 1% | 100% | 2 |
8 | PROVIDENT CLOSURE | authKW | 399157 | 1% | 100% | 2 |
9 | PROVIDENT SET | authKW | 399157 | 1% | 100% | 2 |
10 | RUDIMENTARY RECURSION | authKW | 399157 | 1% | 100% | 2 |
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 | 95872 | 55% | 1% | 84 |
2 | Mathematics | 6293 | 86% | 0% | 132 |
3 | Philosophy | 741 | 11% | 0% | 17 |
4 | History & Philosophy of Science | 128 | 3% | 0% | 5 |
5 | Mathematics, Applied | 84 | 10% | 0% | 16 |
6 | Computer Science, Theory & Methods | 21 | 4% | 0% | 6 |
7 | Multidisciplinary Sciences | 1 | 1% | 0% | 1 |
8 | Computer Science, Software Engineering | 0 | 1% | 0% | 1 |
9 | Computer Science, Artificial Intelligence | -0 | 1% | 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 | SERV LOG | 1222417 | 5% | 88% | 7 |
2 | SOCO | 359239 | 2% | 60% | 3 |
3 | DIP MATEMAT PLICATA U DINI | 199579 | 1% | 100% | 1 |
4 | SERV LOG CP 211 | 199579 | 1% | 100% | 1 |
5 | SERV LOG MATH | 199579 | 1% | 100% | 1 |
6 | SERV LOGIQUE | 199579 | 1% | 100% | 1 |
7 | SOCO CP 135 | 199579 | 1% | 100% | 1 |
8 | ERMIT | 99782 | 3% | 13% | 4 |
9 | PURE MATH MATH STAT | 4580 | 3% | 1% | 4 |
10 | PHILOSOPHY LINGUIST THEORY SCI | 1881 | 1% | 1% | 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 | ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 130599 | 12% | 4% | 18 |
2 | MATHEMATICAL LOGIC QUARTERLY | 89808 | 15% | 2% | 23 |
3 | JOURNAL OF SYMBOLIC LOGIC | 79681 | 22% | 1% | 34 |
4 | LOGIQUE ET ANALYSE | 24691 | 3% | 2% | 5 |
5 | ANNALS OF PURE AND APPLIED LOGIC | 13934 | 8% | 1% | 12 |
6 | NOTRE DAME JOURNAL OF FORMAL LOGIC | 7605 | 2% | 1% | 3 |
7 | BULLETIN OF SYMBOLIC LOGIC | 7094 | 2% | 1% | 3 |
8 | ANNALS OF MATHEMATICAL LOGIC | 6235 | 1% | 3% | 1 |
9 | HISTORY AND PHILOSOPHY OF LOGIC | 6042 | 2% | 1% | 3 |
10 | REPORTS ON MATHEMATICAL LOGIC | 4433 | 1% | 2% | 1 |
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 | GPK THEORY | 798314 | 3% | 100% | 4 | Search GPK+THEORY | Search GPK+THEORY |
2 | ANTI FOUNDATION | 598736 | 2% | 100% | 3 | Search ANTI+FOUNDATION | Search ANTI+FOUNDATION |
3 | RAMIFIABILITY | 598736 | 2% | 100% | 3 | Search RAMIFIABILITY | Search RAMIFIABILITY |
4 | DIRECTED SET | 478981 | 4% | 40% | 6 | Search DIRECTED+SET | Search DIRECTED+SET |
5 | HYPERUNIVERSES | 399157 | 1% | 100% | 2 | Search HYPERUNIVERSES | Search HYPERUNIVERSES |
6 | KAPPA HEREDITARY SETS | 399157 | 1% | 100% | 2 | Search KAPPA+HEREDITARY+SETS | Search KAPPA+HEREDITARY+SETS |
7 | PROVIDENT CLOSURE | 399157 | 1% | 100% | 2 | Search PROVIDENT+CLOSURE | Search PROVIDENT+CLOSURE |
8 | PROVIDENT SET | 399157 | 1% | 100% | 2 | Search PROVIDENT+SET | Search PROVIDENT+SET |
9 | RUDIMENTARY RECURSION | 399157 | 1% | 100% | 2 | Search RUDIMENTARY+RECURSION | Search RUDIMENTARY+RECURSION |
10 | URELEMENTS | 399157 | 1% | 100% | 2 | Search URELEMENTS | Search URELEMENTS |
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 | HINNION, R , (2007) A GENERAL CAUCHY-COMPLETION PROCESS FOR ARBITRARY FIRST-ORDER STRUCTURES.LOGIQUE ET ANALYSE. VOL. . ISSUE 197. P. 5-41 | 9 | 100% | 0 |
2 | MATHIAS, ARD , (2015) PROVIDENT SETS AND RUDIMENTARY SET FORCING.FUNDAMENTA MATHEMATICAE. VOL. 230. ISSUE 2. P. 99 -148 | 7 | 88% | 0 |
3 | LIBERT, T , ESSER, O , (2005) ON TOPOLOGICAL SET THEORY.MATHEMATICAL LOGIC QUARTERLY. VOL. 51. ISSUE 3. P. 263-273 | 7 | 100% | 3 |
4 | MCKENZIE, Z , (2015) AUTOMORPHISMS OF MODELS OF SET THEORY AND EXTENSIONS OF NFU.ANNALS OF PURE AND APPLIED LOGIC. VOL. 166. ISSUE 5. P. 601 -638 | 5 | 100% | 0 |
5 | HINNION, R , (2012) ULTRAFILTERS (WITH DENSE ELEMENTS) OVER CLOSURE SPACES.REPORTS ON MATHEMATICAL LOGIC. VOL. 47. ISSUE . P. 115-124 | 5 | 100% | 0 |
6 | ESSER, O , (2000) INCONSISTENCY OF THE AXIOM OF CHOICE WITH THE POSITIVE THEORY GPK(INFINITY)(+).JOURNAL OF SYMBOLIC LOGIC. VOL. 65. ISSUE 4. P. 1911-1916 | 6 | 100% | 1 |
7 | MATHIAS, ARD , BOWLER, NJ , (2015) RUDIMENTARY RECURSION, GENTLE FUNCTIONS AND PROVIDENT SETS.NOTRE DAME JOURNAL OF FORMAL LOGIC. VOL. 56. ISSUE 1. P. 3 -60 | 4 | 100% | 0 |
8 | FORSTER, T , LIBERT, T , (2011) AN ORDER-THEORETIC ACCOUNT OF SOME SET-THEORETIC PARADOXES.NOTRE DAME JOURNAL OF FORMAL LOGIC. VOL. 52. ISSUE 1. P. 1-19 | 4 | 100% | 1 |
9 | FORTI, M , (2001) STRONGLY COMPREHENSIVE THEORIES OF COLLECTIONS AND SETS.BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN. VOL. . ISSUE . P. 121-131 | 5 | 100% | 0 |
10 | LIBERT, T , (2008) POSITIVE ABSTRACTION AND EXTENSIONALITY REVISITED.LOGIQUE ET ANALYSE. VOL. . ISSUE 202. P. 149-165 | 4 | 100% | 0 |
Classes with closest relation at Level 1 |