Class information for:
Level 1: RECURSIVE SATURATION//BOUNDED SATURATION//MODELS OF ARITHMETIC

Basic class information

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
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
36701 1                   RECURSIVE SATURATION//BOUNDED SATURATION//MODELS OF ARITHMETIC 94

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 RECURSIVE SATURATION authKW 1263772 7% 54% 7
2 BOUNDED SATURATION authKW 1005864 3% 100% 3
3 MODELS OF ARITHMETIC authKW 838215 5% 50% 5
4 RECURSIVELY SATURATED MODEL authKW 766370 4% 57% 4
5 CODED SETS authKW 670576 2% 100% 2
6 COFINAL EXTENSIONS authKW 670576 2% 100% 2
7 MACDOWELL SPECKER THEOREM authKW 670576 2% 100% 2
8 MODEL OF PEANO ARITHMETIC authKW 670576 2% 100% 2
9 PEANO ARITHMETIC authKW 609598 11% 18% 10
10 MODELS OF PEANO ARITHMETIC authKW 502929 3% 50% 3

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 57348 54% 0% 51
2 Mathematics 3368 81% 0% 76
3 Philosophy 144 6% 0% 6
4 Computer Science, Cybernetics 103 3% 0% 3
5 Mathematics, Applied 53 11% 0% 10
6 Economics 34 7% 0% 7
7 Computer Science, Theory & Methods 27 5% 0% 5
8 Psychology, Multidisciplinary 13 3% 0% 3
9 Multidisciplinary Sciences 11 2% 0% 2
10 Computer Science, Artificial Intelligence 9 3% 0% 3

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 SCI AUTOMAT CONTROL PROC 335288 1% 100% 1
2 FB MATH 3 27939 1% 8% 1
3 FAK EKON 20954 1% 6% 1
4 MATH PHD PROGRAM 20954 1% 6% 1
5 MATH PROGRAM 5586 1% 2% 1
6 PHILOSOPHY LINGUIST THEORY SCI 2864 1% 1% 1
7 AUTOMAT CONTROL PROC 707 1% 0% 1
8 MATH 452 27% 0% 25
9 MATH STAT 15 2% 0% 2

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 EKONOMICKO-MATEMATICKY OBZOR 84991 6% 4% 6
2 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 54627 10% 2% 9
3 NOTRE DAME JOURNAL OF FORMAL LOGIC 46235 6% 2% 6
4 MATHEMATICAL LOGIC QUARTERLY 40583 13% 1% 12
5 JOURNAL OF SYMBOLIC LOGIC 29193 17% 1% 16
6 ARCHIVE FOR MATHEMATICAL LOGIC 27470 10% 1% 9
7 FUNDAMENTA MATHEMATICAE 10811 9% 0% 8
8 ANNALS OF PURE AND APPLIED LOGIC 7809 7% 0% 7
9 JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL 2657 3% 0% 3
10 CESKOSLOVENSKA PSYCHOLOGIE 2206 3% 0% 3

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 RECURSIVE SATURATION 1263772 7% 54% 7 Search RECURSIVE+SATURATION Search RECURSIVE+SATURATION
2 BOUNDED SATURATION 1005864 3% 100% 3 Search BOUNDED+SATURATION Search BOUNDED+SATURATION
3 MODELS OF ARITHMETIC 838215 5% 50% 5 Search MODELS+OF+ARITHMETIC Search MODELS+OF+ARITHMETIC
4 RECURSIVELY SATURATED MODEL 766370 4% 57% 4 Search RECURSIVELY+SATURATED+MODEL Search RECURSIVELY+SATURATED+MODEL
5 CODED SETS 670576 2% 100% 2 Search CODED+SETS Search CODED+SETS
6 COFINAL EXTENSIONS 670576 2% 100% 2 Search COFINAL+EXTENSIONS Search COFINAL+EXTENSIONS
7 MACDOWELL SPECKER THEOREM 670576 2% 100% 2 Search MACDOWELL+SPECKER+THEOREM Search MACDOWELL+SPECKER+THEOREM
8 MODEL OF PEANO ARITHMETIC 670576 2% 100% 2 Search MODEL+OF+PEANO+ARITHMETIC Search MODEL+OF+PEANO+ARITHMETIC
9 PEANO ARITHMETIC 609598 11% 18% 10 Search PEANO+ARITHMETIC Search PEANO+ARITHMETIC
10 MODELS OF PEANO ARITHMETIC 502929 3% 50% 3 Search MODELS+OF+PEANO+ARITHMETIC Search MODELS+OF+PEANO+ARITHMETIC

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



rank cluster_id2 link
1 22886 LOEB MEASURE//NONSTANDARD ANALYSIS//NONSTANDARD SET THEORY
2 13883 REVERSE MATHEMATICS//PROOF MINING//FUNCTIONAL INTERPRETATION
3 12585 URYSOHN SPACE//POLISH GROUP//FRAISSE LIMIT
4 27729 NONMEASURABLE SET//TWO POINT SET//MIDSET
5 33610 SERV LOG//GPK THEORY//ANTI FOUNDATION
6 11264 JOURNAL OF PHILOSOPHICAL LOGIC//ADAPTIVE LOGICS//LIAR PARADOX
7 30461 TESTOR THEORY//GUHA METHOD//GUHA
8 13794 PROOF COMPLEXITY//BOUNDED ARITHMETIC//PROPOSITIONAL PROOF COMPLEXITY
9 27341 FUZZY PROBABILITY SPACE//LOGICAL ENTROPY//FUZZY DYNAMICAL SYSTEM
10 34809 FUZZY BAGS//THEORY OF BAGS//IC BAGS

Go to start page