Class information for:
Level 1: CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
12316 915 17.4 23%


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
276 3       FUZZY SETS AND SYSTEMS//ALGEBRA UNIVERSALIS//ROUGH SETS 43335
1635 2             APPLIED CATEGORICAL STRUCTURES//FUZZY TOPOLOGY//FUZZY SETS AND SYSTEMS 6966
12316 1                   CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE 915

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 CONSTRUCTIVE MATHEMATICS authKW 1489693 8% 60% 75
2 FORMAL TOPOLOGY authKW 704942 3% 81% 26
3 CONSTRUCTIVE authKW 702802 4% 57% 37
4 CONSTRUCTIVE SET THEORY authKW 663472 3% 76% 26
5 LOGIC WoSSC 281298 38% 2% 352
6 FAN THEOREM authKW 278084 1% 83% 10
7 CONSTRUCTIVE ANALYSIS authKW 278074 2% 56% 15
8 CONSTRUCTIVE REVERSE MATHEMATICS authKW 270299 1% 90% 9
9 MARTIN LOF TYPE THEORY authKW 269183 1% 73% 11
10 APARTNESS authKW 237299 1% 89% 8

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 281298 38% 2% 352
2 Mathematics 29953 77% 0% 706
3 Mathematics, Applied 6470 34% 0% 309
4 Computer Science, Theory & Methods 2581 15% 0% 138
5 Philosophy 482 4% 0% 35
6 Computer Science, Software Engineering 247 4% 0% 39
7 Social Sciences, Mathematical Methods 32 1% 0% 8
8 Computer Science, Artificial Intelligence 16 2% 0% 16
9 History & Philosophy of Science 8 0% 0% 4
10 Mathematics, Interdisciplinary Applications 6 1% 0% 10

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 ASSRU 44493 0% 67% 2
2 CHALMERS TEKN HOGSKOLA OCH 33370 0% 100% 1
3 DEPAT INENT MATH 33370 0% 100% 1
4 DESIGN CHAIR 33370 0% 100% 1
5 EQUIPE PROJET PARSIFAL 33370 0% 100% 1
6 FAK MATH 4 33370 0% 100% 1
7 GRP FDN 33370 0% 100% 1
8 IHRST 33370 0% 100% 1
9 INRIACNRS LIP 33370 0% 100% 1
10 M AA 33370 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 237061 13% 6% 121
2 MATHEMATICAL LOGIC QUARTERLY 168242 8% 7% 77
3 JOURNAL OF PURE AND APPLIED ALGEBRA 64350 12% 2% 106
4 JOURNAL OF SYMBOLIC LOGIC 54783 8% 2% 69
5 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 49780 3% 5% 28
6 THEORY AND APPLICATIONS OF CATEGORIES 39426 2% 7% 18
7 ARCHIVE FOR MATHEMATICAL LOGIC 37712 4% 3% 33
8 LOGIC JOURNAL OF THE IGPL 9100 1% 2% 13
9 INDAGATIONES MATHEMATICAE-NEW SERIES 8010 2% 1% 17
10 JOURNAL OF UNIVERSAL COMPUTER SCIENCE 6979 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 CONSTRUCTIVE MATHEMATICS 1489693 8% 60% 75 Search CONSTRUCTIVE+MATHEMATICS Search CONSTRUCTIVE+MATHEMATICS
2 FORMAL TOPOLOGY 704942 3% 81% 26 Search FORMAL+TOPOLOGY Search FORMAL+TOPOLOGY
3 CONSTRUCTIVE 702802 4% 57% 37 Search CONSTRUCTIVE Search CONSTRUCTIVE
4 CONSTRUCTIVE SET THEORY 663472 3% 76% 26 Search CONSTRUCTIVE+SET+THEORY Search CONSTRUCTIVE+SET+THEORY
5 FAN THEOREM 278084 1% 83% 10 Search FAN+THEOREM Search FAN+THEOREM
6 CONSTRUCTIVE ANALYSIS 278074 2% 56% 15 Search CONSTRUCTIVE+ANALYSIS Search CONSTRUCTIVE+ANALYSIS
7 CONSTRUCTIVE REVERSE MATHEMATICS 270299 1% 90% 9 Search CONSTRUCTIVE+REVERSE+MATHEMATICS Search CONSTRUCTIVE+REVERSE+MATHEMATICS
8 MARTIN LOF TYPE THEORY 269183 1% 73% 11 Search MARTIN+LOF+TYPE+THEORY Search MARTIN+LOF+TYPE+THEORY
9 APARTNESS 237299 1% 89% 8 Search APARTNESS Search APARTNESS
10 MARKOVS PRINCIPLE 204392 1% 88% 7 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.


Rank Reference # ref.
in cl.		 Shr. of ref. in
cl.		 Citations
1 LOEB, I , (2012) QUESTIONING CONSTRUCTIVE REVERSE MATHEMATICS.CONSTRUCTIVIST FOUNDATIONS. VOL. 7. ISSUE 2. P. 131-140 21 91% 0
2 VAN DEN BERG, B , MOERDIJK, I , (2012) ASPECTS OF PREDICATIVE ALGEBRAIC SET THEORY III: SHEAVES.PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY. VOL. 105. ISSUE . P. 1076 -1122 16 100% 1
3 VAN DEN BERG, B , MOERDIJK, L , (2008) ASPECTS OF PREDICATIVE ALGEBRAIC SET THEORY I: EXACT COMPLETION.ANNALS OF PURE AND APPLIED LOGIC. VOL. 156. ISSUE 1. P. 123-159 16 94% 5
4 SPITTERS, B , (2010) LOCATEDNESS AND OVERT SUBLOCALES.ANNALS OF PURE AND APPLIED LOGIC. VOL. 162. ISSUE 1. P. 36-54 19 76% 1
5 VAN DEN BERG, B , MOERDIJK, I , (2012) DERIVED RULES FOR PREDICATIVE SET THEORY: AN APPLICATION OF SHEAVES.ANNALS OF PURE AND APPLIED LOGIC. VOL. 163. ISSUE 10. P. 1367 -1383 13 100% 0
6 MAIETTI, ME , (2009) A MINIMALIST TWO-LEVEL FOUNDATION FOR CONSTRUCTIVE MATHEMATICS.ANNALS OF PURE AND APPLIED LOGIC. VOL. 160. ISSUE 3. P. 319 -354 15 88% 4
7 FABER, E , VAN OOSTEN, J , (2014) MORE ON GEOMETRIC MORPHISMS BETWEEN REALIZABILITY TOPOSES.THEORY AND APPLICATIONS OF CATEGORIES. VOL. 29. ISSUE . P. 874 -895 11 100% 0
8 BERGER, J , ISHIHARA, H , SCHUSTER, P , (2012) THE WEAK KONIG LEMMA, BROUWER'S FAN THEOREM, DE MORGAN'S LAW, AND DEPENDENT CHOICE.REPORTS ON MATHEMATICAL LOGIC. VOL. 47. ISSUE . P. 63-86 13 87% 0
9 LUBARSKY, RS , (2013) ON THE FAILURE OF BD-N AND BD, AND AN APPLICATION TO THE ANTI-SPECKER PROPERTY.JOURNAL OF SYMBOLIC LOGIC. VOL. 78. ISSUE 1. P. 39-56 11 100% 0
10 STEKELENBURG, WP , (2013) REGULAR FUNCTORS AND RELATIVE REALISABILITY CATEGORIES.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 23. ISSUE 5. P. 1082 -1110 11 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 37103 PARTIAL ENUMERATED SET//ACCEPTABLE NUMERATION//CONSTRUCTIVE FUNCTOR
2 16666 COMPUTABLE ANALYSIS//COMPUTABLE TOPOLOGY//COMPUTABLE METRIC SPACE
3 8019 THEORY AND APPLICATIONS OF CATEGORIES//CROSSED MODULE//SEMI ABELIAN CATEGORY
4 13423 REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION
5 12925 LOCALE//F RING//BIFRAME
6 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
7 28799 AXIOM OF CHOICE//WEAK AXIOMS OF CHOICE//BOOLEAN PRIME IDEAL THEOREM
8 17763 APPROACH SPACE//APPLIED CATEGORICAL STRUCTURES//EFFECTIVE DESCENT MORPHISM
9 32093 SYNTHETIC DIFFERENTIAL GEOMETRY//C INFINITY RING//GLOBAL EQUIVALENCE
10 24667 HERMANN MINKOWSKI//CRITICAL PROGRAMME//ELEKTROSTAL BRANCH

Go to start page