Class information for:
Level 1: REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
13423 838 18.2 26%


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
13423 1                   REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION 838

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 REVERSE MATHEMATICS authKW 2188765 10% 69% 87
2 LOGIC WoSSC 707572 64% 4% 534
3 FUNCTIONAL INTERPRETATION authKW 621767 3% 74% 23
4 SECOND ORDER ARITHMETIC authKW 551095 3% 69% 22
5 ANNALS OF PURE AND APPLIED LOGIC journal 447090 19% 8% 159
6 INFORMAT ANGEW MATH address 412907 4% 33% 34
7 RAMSEYS THEOREM authKW 357060 3% 47% 21
8 EXPLICIT MATHEMATICS authKW 339140 1% 85% 11
9 EPSILON SUBSTITUTION authKW 327932 1% 100% 9
10 ARCHIVE FOR MATHEMATICAL LOGIC journal 299856 11% 9% 89

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 707572 64% 4% 534
2 Mathematics 32548 84% 0% 703
3 Mathematics, Applied 3097 25% 0% 208
4 Philosophy 2535 9% 0% 74
5 Computer Science, Theory & Methods 510 7% 0% 62
6 History & Philosophy of Science 326 2% 0% 19
7 Literary Theory & Criticism 101 1% 0% 5
8 Social Sciences, Mathematical Methods 11 1% 0% 5
9 Computer Science, Artificial Intelligence 2 1% 0% 9
10 Ethics 1 0% 0% 2

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 412907 4% 33% 34
2 MATH LOG GRUNDLAGENFOR 115133 2% 20% 16
3 MATH LOGIK GRUNDLAGENFOR 54652 0% 50% 3
4 CFS PHILOSOPHY 36437 0% 100% 1
5 COM2 36437 0% 100% 1
6 COMP SCI WEB INFORMAT ENGN 36437 0% 100% 1
7 DIPARTIMENTO MATH ROBERTO MAGARI 36437 0% 100% 1
8 ESAUPR 7030 GALILEE 36437 0% 100% 1
9 INFROMAT ANGEW MATH 36437 0% 100% 1
10 INROMAT ANGEW MATH 36437 0% 100% 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 ANNALS OF PURE AND APPLIED LOGIC 447090 19% 8% 159
2 ARCHIVE FOR MATHEMATICAL LOGIC 299856 11% 9% 89
3 JOURNAL OF SYMBOLIC LOGIC 283100 18% 5% 150
4 MATHEMATICAL LOGIC QUARTERLY 119086 7% 5% 62
5 BULLETIN OF SYMBOLIC LOGIC 57571 2% 8% 20
6 NOTRE DAME JOURNAL OF FORMAL LOGIC 44588 2% 7% 17
7 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 38896 3% 5% 23
8 JOURNAL OF MATHEMATICAL LOGIC 38337 1% 11% 10
9 ANNALS OF MATHEMATICAL LOGIC 10242 0% 9% 3
10 FUNDAMENTA MATHEMATICAE 6757 2% 1% 19

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 2188765 10% 69% 87 Search REVERSE+MATHEMATICS Search REVERSE+MATHEMATICS
2 FUNCTIONAL INTERPRETATION 621767 3% 74% 23 Search FUNCTIONAL+INTERPRETATION Search FUNCTIONAL+INTERPRETATION
3 SECOND ORDER ARITHMETIC 551095 3% 69% 22 Search SECOND+ORDER+ARITHMETIC Search SECOND+ORDER+ARITHMETIC
4 RAMSEYS THEOREM 357060 3% 47% 21 Search RAMSEYS+THEOREM Search RAMSEYS+THEOREM
5 EXPLICIT MATHEMATICS 339140 1% 85% 11 Search EXPLICIT+MATHEMATICS Search EXPLICIT+MATHEMATICS
6 EPSILON SUBSTITUTION 327932 1% 100% 9 Search EPSILON+SUBSTITUTION Search EPSILON+SUBSTITUTION
7 FAST GROWING HIERARCHY 295137 1% 90% 9 Search FAST+GROWING+HIERARCHY Search FAST+GROWING+HIERARCHY
8 KRIPKE PLATEK SET THEORY 259105 1% 89% 8 Search KRIPKE+PLATEK+SET+THEORY Search KRIPKE+PLATEK+SET+THEORY
9 MAJORIZABILITY 255059 1% 100% 7 Search MAJORIZABILITY Search MAJORIZABILITY
10 ORDINAL ANALYSIS 218610 1% 50% 12 Search ORDINAL+ANALYSIS Search ORDINAL+ANALYSIS

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 MONTALBAN, A , (2011) OPEN QUESTIONS IN REVERSE MATHEMATICS.BULLETIN OF SYMBOLIC LOGIC. VOL. 17. ISSUE 3. P. 431 -454 36 90% 11
2 CHONG, CT , LI, W , YANG, Y , (2014) NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS.BULLETIN OF SYMBOLIC LOGIC. VOL. 20. ISSUE 2. P. 170 -200 22 85% 2
3 PATEY, L , (2016) OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS.BULLETIN OF SYMBOLIC LOGIC. VOL. 22. ISSUE 2. P. 151 -169 22 76% 0
4 KENTARO, S , (2015) A NEW MODEL CONSTRUCTION BY MAKING A DETOUR VIA INTUITIONISTIC THEORIES II: INTERPRETABILITY LOWER BOUND OF FEFERMAN'S EXPLICIT MATHEMATICS T-0.ANNALS OF PURE AND APPLIED LOGIC. VOL. 166. ISSUE 7-8. P. 800 -835 18 90% 1
5 KAHLE, R , (2003) UNIVERSES OVER FREGE STRUCTURES.ANNALS OF PURE AND APPLIED LOGIC. VOL. 119. ISSUE 1-3. P. 191-223 24 92% 4
6 DORAIS, FG , DZHAFAROV, DD , HIRST, JL , MILETI, JR , SHAFER, P , (2016) ON UNIFORM RELATIONSHIPS BETWEEN COMBINATORIAL PROBLEMS.TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. VOL. 368. ISSUE 2. P. 1321 -1359 14 74% 5
7 SATO, K , ZUMBRUNNEN, R , (2015) A NEW MODEL CONSTRUCTION BY MAKING A DETOUR VIA INTUITIONISTIC THEORIES I: OPERATIONAL SET THEORY WITHOUT CHOICE IS PI(1)-EQUIVALENT TO KP.ANNALS OF PURE AND APPLIED LOGIC. VOL. 166. ISSUE 2. P. 121 -186 18 75% 1
8 SHORE, RA , (2010) REVERSE MATHEMATICS: THE PLAYGROUND OF LOGIC.BULLETIN OF SYMBOLIC LOGIC. VOL. 16. ISSUE 3. P. 378 -402 17 89% 5
9 PATEY, L , (2016) THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS.JOURNAL OF SYMBOLIC LOGIC. VOL. 81. ISSUE 4. P. 1481 -1499 13 100% 0
10 WEIERMANN, A , (2002) SLOW VERSUS FAST GROWING.SYNTHESE. VOL. 133. ISSUE 1-2. P. 13-29 18 100% 1

Classes with closest relation at Level 1


Rank Class id link
1 14361 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
2 12316 CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE
3 20473 COMPUTABLE STRUCTURE//COMPUTABLE CATEGORICITY//COMPUTABLE MODEL
4 31410 SERV LOG//GPK THEORY//ANTI FOUNDATION
5 35976 PERVAS ICT//FORMAL PEANO ARITHMETIC//LUCAS PENROSE THESIS
6 14168 DEFLATIONISM//LIAR PARADOX//YABLOS PARADOX
7 8238 ALGORITHMIC RANDOMNESS//TURING DEGREES//KOLMOGOROV COMPLEXITY
8 20500 HISTORY AND PHILOSOPHY OF LOGIC//LOGICAL CONSTANTS//LOGICAL CONSEQUENCE
9 16666 COMPUTABLE ANALYSIS//COMPUTABLE TOPOLOGY//COMPUTABLE METRIC SPACE
10 26022 NONMEASURABLE SET//RECURSIVE SATURATION//BOUNDED SATURATION

Go to start page