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

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
1681 6221 16.8 29%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 3)


ID, lev.
above		 Publications Label for level above
342 32656 LOGIC//JOURNAL OF SYMBOLIC LOGIC//ALGEBRA UNIVERSALIS

Classes in level below (level 1)


ID, lev. below Publications Label for level below
7742 1255 TURING DEGREES//ALGORITHMIC RANDOMNESS//COMPUTABLY ENUMERABLE
8069 1222 SIMPLE THEORIES//JOURNAL OF SYMBOLIC LOGIC//ABSTRACT ELEMENTARY CLASSES
11601 904 REVERSE MATHEMATICS//APPLICATIVE THEORIES//EXPLICIT MATHEMATICS
12558 834 URYSOHN METRIC SPACE//SMALL INDEX PROPERTY//CLONE LATTICE
13564 763 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
19682 430 COMPUTABLE STRUCTURE//SIGMA DEFINABILITY//COMPUTABLE CATEGORICITY
20893 381 LOEB MEASURE//NONSTANDARD SET THEORY//LOEB MEASURES
27629 184 DIRECT TOPOLOGY//DISCRETE RING//PRIME GROUPS
30640 135 RECURSIVE SATURATION//BERRYS PARADOX//MODELS OF PEANO ARITHMETIC
32111 113 DOMINION//DECOMPOSABLE VARIETY//ALGEBRAIC AND EXISTENTIAL CLOSEDNESS

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 LOGIC WoS category 629 21% 43% 2669
2 JOURNAL OF SYMBOLIC LOGIC Journal 451 36% 16% 1016
3 ANNALS OF PURE AND APPLIED LOGIC Journal 283 34% 11% 677
4 BOUNDED ARITHMETIC Author keyword 181 88% 1% 84
5 ARCHIVE FOR MATHEMATICAL LOGIC Journal 132 35% 5% 311
6 REVERSE MATHEMATICS Author keyword 96 71% 1% 78
7 PROOF COMPLEXITY Author keyword 80 66% 1% 75
8 MATHEMATICAL LOGIC QUARTERLY Journal 79 25% 4% 279
9 TURING DEGREES Author keyword 74 81% 1% 44
10 ALGORITHMIC RANDOMNESS Author keyword 49 63% 1% 50

Web of Science journal categories


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 Logic 629 21% 43% 2669

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 BOUNDED ARITHMETIC 181 88% 1% 84 Search BOUNDED+ARITHMETIC Search BOUNDED+ARITHMETIC
2 REVERSE MATHEMATICS 96 71% 1% 78 Search REVERSE+MATHEMATICS Search REVERSE+MATHEMATICS
3 PROOF COMPLEXITY 80 66% 1% 75 Search PROOF+COMPLEXITY Search PROOF+COMPLEXITY
4 TURING DEGREES 74 81% 1% 44 Search TURING+DEGREES Search TURING+DEGREES
5 ALGORITHMIC RANDOMNESS 49 63% 1% 50 Search ALGORITHMIC+RANDOMNESS Search ALGORITHMIC+RANDOMNESS
6 COMPUTABLE STRUCTURE 45 94% 0% 16 Search COMPUTABLE+STRUCTURE Search COMPUTABLE+STRUCTURE
7 COMPUTABLY ENUMERABLE 41 90% 0% 18 Search COMPUTABLY+ENUMERABLE Search COMPUTABLY+ENUMERABLE
8 COMPUTABLY ENUMERABLE SET 38 86% 0% 19 Search COMPUTABLY+ENUMERABLE+SET Search COMPUTABLY+ENUMERABLE+SET
9 SIMPLE THEORIES 37 100% 0% 14 Search SIMPLE+THEORIES Search SIMPLE+THEORIES
10 COMPUTABLE CATEGORICITY 34 93% 0% 13 Search COMPUTABLE+CATEGORICITY Search COMPUTABLE+CATEGORICITY

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 RECURSIVELY ENUMERABLE DEGREES 102 88% 1% 49
2 TURING DEGREES 77 96% 0% 24
3 LOWNESS 66 79% 1% 42
4 RECURSIVELY ENUMERABLE SETS 64 82% 1% 37
5 DRE DEGREES 57 95% 0% 19
6 PIGEONHOLE PRINCIPLE 48 77% 1% 33
7 WEAK PIGEONHOLE PRINCIPLE 48 77% 1% 33
8 RAMSEYS THEOREM 46 82% 0% 27
9 DEGREE SPECTRA 45 90% 0% 19
10 PI01 CLASSES 42 83% 0% 24

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 JOURNAL OF SYMBOLIC LOGIC 451 36% 16% 1016
2 ANNALS OF PURE AND APPLIED LOGIC 283 34% 11% 677
3 ARCHIVE FOR MATHEMATICAL LOGIC 132 35% 5% 311
4 MATHEMATICAL LOGIC QUARTERLY 79 25% 4% 279
5 JOURNAL OF MATHEMATICAL LOGIC 27 49% 1% 40
6 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 27 20% 2% 119
7 NOTRE DAME JOURNAL OF FORMAL LOGIC 24 33% 1% 61
8 BULLETIN OF SYMBOLIC LOGIC 15 24% 1% 56
9 ALGEBRA AND LOGIC 10 19% 1% 50

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
The geometric semantics of algebraic quantum mechanics 2015 1 3 67%
Calibrating randomness 2006 34 55 87%
The complexity of propositional proofs 2007 18 59 88%
Sequential games and optimal strategies 2011 2 8 75%
Exact approximations of Omega numbers 2007 2 8 100%
SPLITTING THEOREMS IN RECURSION-THEORY 1993 11 43 100%
Elementary classification and decidability of theories of derived structures 2005 3 18 83%
How much information can there be in a real number? 2007 1 3 67%
Combining satisfiability techniques from Al and OR 2000 6 10 50%
Symmetry in Boolean Satisfiability 2010 0 7 43%

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% 0.6% 40
2 EQUIPE LOG MATH 9 22% 0.5% 34
3 MATH COMP SCI R MAGARI 6 100% 0.1% 4
4 GIRARD DESARGUES 5 14% 0.5% 33
5 MATH LOG GRUNDLAGENFOR 5 24% 0.3% 17
6 MATH STAT OPERAT 5 12% 0.6% 35
7 GIRARD DESARGUES MATH 4 75% 0.0% 3
8 UP A 5028 MATH 4 75% 0.0% 3
9 VAKGROEP ZUIVERE WISKUNDE COMP ALGEBRA 4 75% 0.0% 3
10 NG CHEBOTAREV MECH MATH 3 100% 0.0% 3

Related classes at same level (level 2)


Rank Relatedness score Related classes
1 0.0000011806 TOPOLOGY AND ITS APPLICATIONS//SUPERCOMPACT CARDINAL//LARGE CARDINALS
2 0.0000011438 FUZZY TOPOLOGY//APPLIED CATEGORICAL STRUCTURES//FUZZY SETS AND SYSTEMS
3 0.0000009576 HYPERCOMPUTATION//REAL RECURSIVE FUNCTIONS//CHURCH TURING THESIS
4 0.0000008952 ALGEBRA UNIVERSALIS//MV ALGEBRA//NATURAL DUALITY
5 0.0000008932 MEMBRANE COMPUTING//GRP NAT COMP//THEORETICAL COMPUTER SCIENCE
6 0.0000007729 LOCAL COHOMOLOGY//TIGHT CLOSURE//LOCAL COHOMOLOGY MODULES
7 0.0000007367 CONSTRAINTS//INDUCTIVE INFERENCE//PAC LEARNING
8 0.0000007330 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC
9 0.0000005089 MAHLER MEASURE//HILBERTS TENTH PROBLEM//INTEGER TRANSFINITE DIAMETER
10 0.0000004056 HISTORIA MATHEMATICA//ARCHIVE FOR HISTORY OF EXACT SCIENCES//PRINCIPIA