Class information for:
Level 1: REVERSE MATHEMATICS//APPLICATIVE THEORIES//EXPLICIT MATHEMATICS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
11601 904 18.1 25%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1681 6221 LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 REVERSE MATHEMATICS Author keyword 68 63% 8% 69
2 APPLICATIVE THEORIES Author keyword 33 100% 1% 13
3 EXPLICIT MATHEMATICS Author keyword 31 92% 1% 12
4 INFORMAT ANGEW MATH Address 20 40% 4% 40
5 EPSILON SUBSTITUTION Author keyword 20 100% 1% 9
6 SECOND ORDER ARITHMETIC Author keyword 19 60% 2% 21
7 FUNCTIONAL INTERPRETATION Author keyword 16 65% 2% 15
8 FUNCTIONAL INTERPRETATIONS Author keyword 15 82% 1% 9
9 ORDINAL NOTATIONS Author keyword 15 82% 1% 9
10 PROOF THEORETIC STRENGTH Author keyword 15 82% 1% 9

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 REVERSE MATHEMATICS 68 63% 8% 69 Search REVERSE+MATHEMATICS Search REVERSE+MATHEMATICS
2 APPLICATIVE THEORIES 33 100% 1% 13 Search APPLICATIVE+THEORIES Search APPLICATIVE+THEORIES
3 EXPLICIT MATHEMATICS 31 92% 1% 12 Search EXPLICIT+MATHEMATICS Search EXPLICIT+MATHEMATICS
4 EPSILON SUBSTITUTION 20 100% 1% 9 Search EPSILON+SUBSTITUTION Search EPSILON+SUBSTITUTION
5 SECOND ORDER ARITHMETIC 19 60% 2% 21 Search SECOND+ORDER+ARITHMETIC Search SECOND+ORDER+ARITHMETIC
6 FUNCTIONAL INTERPRETATION 16 65% 2% 15 Search FUNCTIONAL+INTERPRETATION Search FUNCTIONAL+INTERPRETATION
7 FUNCTIONAL INTERPRETATIONS 15 82% 1% 9 Search FUNCTIONAL+INTERPRETATIONS Search FUNCTIONAL+INTERPRETATIONS
8 ORDINAL NOTATIONS 15 82% 1% 9 Search ORDINAL+NOTATIONS Search ORDINAL+NOTATIONS
9 PROOF THEORETIC STRENGTH 15 82% 1% 9 Search PROOF+THEORETIC+STRENGTH Search PROOF+THEORETIC+STRENGTH
10 MAJORIZABILITY 15 88% 1% 7 Search MAJORIZABILITY Search MAJORIZABILITY

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 SET EXISTENCE AXIOMS 30 84% 2% 16
2 RAMSEYS THEOREM 27 70% 3% 23
3 EXPLICIT MATHEMATICS 21 69% 2% 18
4 REVERSE MATHEMATICS 15 71% 1% 12
5 SIGMA1 ELEMENTARITY 11 100% 1% 6
6 MAHLO 9 83% 1% 5
7 LOF TYPE THEORY 8 75% 1% 6
8 WEAK AXIOMS 8 75% 1% 6
9 PROVE 8 60% 1% 9
10 FIXED POINT THEORIES 8 100% 1% 5

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 ARCHIVE FOR MATHEMATICAL LOGIC 10 10% 10% 91

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Sequential games and optimal strategies 2011 2 8 75%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 INFORMAT ANGEW MATH 20 40% 4.4% 40
2 VAKGROEP ZUIVERE WISKUNDE COMP ALGEBRA 4 75% 0.3% 3
3 MATH LOGIK GRUNDLAGENFOR 3 60% 0.3% 3
4 STRUCT CELLULAR BIOL UNIT 3 60% 0.3% 3
5 MATH LOG GRUNDLAGENFOR 3 18% 1.4% 13
6 AG LOG 1 50% 0.2% 2
7 VAKGROEP ZUIVERE WISKUNDE COMPUTERALGEBRA 1 40% 0.2% 2
8 COMPUTAT LOG GRP 1 25% 0.3% 3
9 LAMA EQUIPE LOG 1 50% 0.1% 1
10 MATH LOGIC 1 50% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000239623 CONSTRUCTIVE MATHEMATICS//CONSTRUCTIVE//FORMAL TOPOLOGY
2 0.0000205161 RECURSIVE SATURATION//BERRYS PARADOX//MODELS OF PEANO ARITHMETIC
3 0.0000150353 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
4 0.0000120883 COMPUTABLE ANALYSIS//COMPUTABLE TOPOLOGY//COMPUTABLE METRIC SPACE
5 0.0000119446 COMPUTABLE STRUCTURE//SIGMA DEFINABILITY//COMPUTABLE CATEGORICITY
6 0.0000079745 AXIOM OF CHOICE//BOOLEAN PRIME IDEAL THEOREM//WEAK AXIOMS OF CHOICE
7 0.0000077108 PROOF THEORETIC SEMANTICS//JOURNAL OF PHILOSOPHICAL LOGIC//REVIEW OF SYMBOLIC LOGIC
8 0.0000076908 LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS
9 0.0000075266 PHILOSOPHIA MATHEMATICA//HUMES PRINCIPLE//INDISPENSABILITY ARGUMENT
10 0.0000069836 IDEAL CONSTRAINTS//CUNTZ RELATIONS//LIMIT CONDITION