Class information for:
Level 1: CONSTRUCTIVE MATHEMATICS//CONSTRUCTIVE SET THEORY//CONSTRUCTIVE

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
14844 1                   CONSTRUCTIVE MATHEMATICS//CONSTRUCTIVE SET THEORY//CONSTRUCTIVE 773

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 CONSTRUCTIVE MATHEMATICS authKW 1898814 10% 59% 79
2 CONSTRUCTIVE SET THEORY authKW 1079217 4% 88% 30
3 CONSTRUCTIVE authKW 865744 5% 56% 38
4 FORMAL TOPOLOGY authKW 861271 3% 81% 26
5 INFORMAT ANGEW MATH address 571533 5% 37% 38
6 LOGIC WoSSC 535783 58% 3% 447
7 APPLICATIVE THEORIES authKW 530019 2% 100% 13
8 EXPLICIT MATHEMATICS authKW 451612 2% 92% 12
9 ANNALS OF PURE AND APPLIED LOGIC journal 374850 18% 7% 139
10 MATHEMATICAL LOGIC QUARTERLY journal 342716 13% 8% 100

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 535783 58% 3% 447
2 Mathematics 24112 76% 0% 584
3 Mathematics, Applied 3703 28% 0% 217
4 Computer Science, Theory & Methods 2016 14% 0% 112
5 Philosophy 1372 7% 0% 53
6 Computer Science, Software Engineering 156 4% 0% 29
7 History & Philosophy of Science 71 1% 0% 9
8 Social Sciences, Mathematical Methods 40 1% 0% 8
9 Mathematics, Interdisciplinary Applications 17 2% 0% 12
10 Computer Science, Artificial Intelligence 9 2% 0% 12

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 INFORMAT ANGEW MATH 571533 5% 37% 38
2 ASSRU 54360 0% 67% 2
3 ATER CHAIR ANAL GEOMETRIE 40771 0% 100% 1
4 DEPAT INENT MATH 40771 0% 100% 1
5 FAK MATH 4 40771 0% 100% 1
6 GRP FDN 40771 0% 100% 1
7 HGRP THEORET INFORMAT LOG 40771 0% 100% 1
8 IAMTIL 40771 0% 100% 1
9 IHRST 40771 0% 100% 1
10 INFROMAT ANGEW MATH 40771 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ANNALS OF PURE AND APPLIED LOGIC 374850 18% 7% 139
2 MATHEMATICAL LOGIC QUARTERLY 342716 13% 8% 100
3 ARCHIVE FOR MATHEMATICAL LOGIC 111484 7% 5% 52
4 JOURNAL OF SYMBOLIC LOGIC 97786 11% 3% 84
5 LOGIC JOURNAL OF THE IGPL 18150 2% 3% 17
6 BULLETIN OF SYMBOLIC LOGIC 15845 1% 4% 10
7 LOGICAL METHODS IN COMPUTER SCIENCE 8858 2% 2% 12
8 JOURNAL OF UNIVERSAL COMPUTER SCIENCE 8431 2% 1% 19
9 INDAGATIONES MATHEMATICAE-NEW SERIES 8332 2% 1% 16
10 STUDIA LOGICA 6851 1% 2% 8

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 CONSTRUCTIVE MATHEMATICS 1898814 10% 59% 79 Search CONSTRUCTIVE+MATHEMATICS Search CONSTRUCTIVE+MATHEMATICS
2 CONSTRUCTIVE SET THEORY 1079217 4% 88% 30 Search CONSTRUCTIVE+SET+THEORY Search CONSTRUCTIVE+SET+THEORY
3 CONSTRUCTIVE 865744 5% 56% 38 Search CONSTRUCTIVE Search CONSTRUCTIVE
4 FORMAL TOPOLOGY 861271 3% 81% 26 Search FORMAL+TOPOLOGY Search FORMAL+TOPOLOGY
5 APPLICATIVE THEORIES 530019 2% 100% 13 Search APPLICATIVE+THEORIES Search APPLICATIVE+THEORIES
6 EXPLICIT MATHEMATICS 451612 2% 92% 12 Search EXPLICIT+MATHEMATICS Search EXPLICIT+MATHEMATICS
7 FAN THEOREM 339752 1% 83% 10 Search FAN+THEOREM Search FAN+THEOREM
8 CONSTRUCTIVE ANALYSIS 339742 2% 56% 15 Search CONSTRUCTIVE+ANALYSIS Search CONSTRUCTIVE+ANALYSIS
9 CONSTRUCTIVE REVERSE MATHEMATICS 330241 1% 90% 9 Search CONSTRUCTIVE+REVERSE+MATHEMATICS Search CONSTRUCTIVE+REVERSE+MATHEMATICS
10 MARKOVS PRINCIPLE 326165 1% 100% 8 Search MARKOVS+PRINCIPLE Search MARKOVS+PRINCIPLE

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 13883 REVERSE MATHEMATICS//PROOF MINING//FUNCTIONAL INTERPRETATION
2 11417 COMPUTABLE ANALYSIS//DOMAIN THEORY//SCOTT TOPOLOGY
3 28527 AXIOM OF CHOICE//WEAK AXIOMS OF CHOICE//BOOLEAN PRIME IDEAL THEOREM
4 24320 PROOF THEORETIC SEMANTICS//NATURAL DEDUCTION//GENTZEN
5 6479 APPLIED CATEGORICAL STRUCTURES//THEORY AND APPLICATIONS OF CATEGORIES//SEMI ABELIAN CATEGORY
6 22842 UNIMODULAR ROWS//EULER CLASS GROUPS//UNIMODULAR ELEMENTS
7 12971 LOCALE//F RING//BIFRAME
8 37794 TYPE ISOMORPHISM//EPISTEMIC ARITHMETIC//WELL FOUNDED RELATIONS
9 23361 MODAL INTERPRETATION//ABSTRACT DIFFERENTIAL GEOMETRY//MODAL HAMILTONIAN INTERPRETATION
10 31908 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM

Go to start page