Class information for:
Level 1: PARTIAL ENUMERATED SET//ACCEPTABLE NUMERATION//CONSTRUCTIVE FUNCTOR

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
37103 66 11.5 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
37103 1                   PARTIAL ENUMERATED SET//ACCEPTABLE NUMERATION//CONSTRUCTIVE FUNCTOR 66

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 PARTIAL ENUMERATED SET authKW 925324 3% 100% 2
2 ACCEPTABLE NUMERATION authKW 462662 2% 100% 1
3 CONSTRUCTIVE FUNCTOR authKW 462662 2% 100% 1
4 MYHILL SHEPHERDSON PROPERTY authKW 462662 2% 100% 1
5 OMEGA OPERATION authKW 462662 2% 100% 1
6 OMEGA OPERATION HOM LIFT authKW 462662 2% 100% 1
7 PARTIAL NUMERATION authKW 462662 2% 100% 1
8 POLYLIMIT authKW 462662 2% 100% 1
9 QUASI BASED CATEGORY authKW 462662 2% 100% 1
10 QUASI COPRODUCT authKW 462662 2% 100% 1

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 3796 17% 0% 11
2 Mathematics 2720 86% 0% 57
3 Mathematics, Applied 202 23% 0% 15
4 Computer Science, Theory & Methods 117 12% 0% 8
5 Computer Science, Information Systems 1 2% 0% 1

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 COMP SCI LFCS 115664 2% 25% 1
2 THEORET COMP SCI 362 2% 0% 1
3 MATEMAT 14 2% 0% 1
4 MATH 1 3% 0% 2

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 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 302799 27% 4% 18
2 JOURNAL OF PURE AND APPLIED ALGEBRA 11447 18% 0% 12
3 MATHEMATICAL LOGIC QUARTERLY 6292 6% 0% 4
4 JOURNAL OF SYMBOLIC LOGIC 5745 9% 0% 6
5 APPLIED CATEGORICAL STRUCTURES 2614 3% 0% 2
6 INFORMATION AND CONTROL 1367 2% 0% 1
7 ALGEBRA UNIVERSALIS 1036 3% 0% 2
8 LECTURE NOTES IN MATHEMATICS 1031 6% 0% 4
9 BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY 555 3% 0% 2
10 ACTA INFORMATICA 413 2% 0% 1

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 PARTIAL ENUMERATED SET 925324 3% 100% 2 Search PARTIAL+ENUMERATED+SET Search PARTIAL+ENUMERATED+SET
2 ACCEPTABLE NUMERATION 462662 2% 100% 1 Search ACCEPTABLE+NUMERATION Search ACCEPTABLE+NUMERATION
3 CONSTRUCTIVE FUNCTOR 462662 2% 100% 1 Search CONSTRUCTIVE+FUNCTOR Search CONSTRUCTIVE+FUNCTOR
4 MYHILL SHEPHERDSON PROPERTY 462662 2% 100% 1 Search MYHILL+SHEPHERDSON+PROPERTY Search MYHILL+SHEPHERDSON+PROPERTY
5 OMEGA OPERATION 462662 2% 100% 1 Search OMEGA+OPERATION Search OMEGA+OPERATION
6 OMEGA OPERATION HOM LIFT 462662 2% 100% 1 Search OMEGA+OPERATION+HOM+LIFT Search OMEGA+OPERATION+HOM+LIFT
7 PARTIAL NUMERATION 462662 2% 100% 1 Search PARTIAL+NUMERATION Search PARTIAL+NUMERATION
8 POLYLIMIT 462662 2% 100% 1 Search POLYLIMIT Search POLYLIMIT
9 QUASI BASED CATEGORY 462662 2% 100% 1 Search QUASI+BASED+CATEGORY Search QUASI+BASED+CATEGORY
10 QUASI COPRODUCT 462662 2% 100% 1 Search QUASI+COPRODUCT Search QUASI+COPRODUCT

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 ORLICKI, A , (1993) OMEGA-OPERATIONS OVER PARTIAL ENUMERATED SETS.MATHEMATICAL LOGIC QUARTERLY. VOL. 39. ISSUE 4. P. 551-558 7 100% 1
2 ORLICKI, A , (1993) COMPUTABLE LIMITS AND COLIMITS IN CATEGORIES OF PARTIAL ENUMERATED SETS.MATHEMATICAL LOGIC QUARTERLY. VOL. 39. ISSUE 2. P. 181-196 6 100% 0
3 ORLICKI, A , (1991) CONSTRUCTIVITY OF ENDOFUNCTORS ON CATEGORIES OF PARTIAL ENUMERATED SETS .2. SOME IMPORTANT EXAMPLES.ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK. VOL. 37. ISSUE 5. P. 439-452 5 100% 0
4 HEBERT, M , (1997) SYNTACTIC CHARACTERIZATIONS OF CLOSURE UNDER PULLBACKS AND OF LOCALLY POLYPRESENTABLE CATEGORIES.ANNALS OF PURE AND APPLIED LOGIC. VOL. 84. ISSUE 1. P. 73-95 5 71% 0
5 ADAMEK, J , ROSICKY, J , (2001) ON MULTIVARIETIES AND MULTIALGEBRAIC CATEGORIES.JOURNAL OF PURE AND APPLIED ALGEBRA. VOL. 163. ISSUE 1. P. 1-17 3 100% 0
6 ORLICKI, A , (1990) SOME REMARKS ON OMEGA-POWERS OF ENUMERATED SETS AND THEIR APPLICATIONS TO OMEGA-OPERATIONS.ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK. VOL. 36. ISSUE 2. P. 149-161 4 100% 0
7 JAY, CB , (1993) TAIL RECURSION THROUGH UNIVERSAL INVARIANTS.THEORETICAL COMPUTER SCIENCE. VOL. 115. ISSUE 1. P. 151 -189 5 63% 0
8 ADAMEK, J , SOUSA, L , (2003) HOW ACCESSIBLE ARE CATEGORIES OF ALGEBRAS?.JOURNAL OF PURE AND APPLIED ALGEBRA. VOL. 182. ISSUE 1. P. 1-15 2 100% 0
9 JAY, CB , (1991) TAIL RECURSION FROM UNIVERSAL INVARIANTS.LECTURE NOTES IN COMPUTER SCIENCE. VOL. 530. ISSUE . P. 151 -163 3 100% 0
10 ORLICKI, A , (1988) BINARY RELATIONS OVER THE CATEGORY OF ENUMERATED SETS.ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK. VOL. 34. ISSUE 3. P. 265-276 3 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 12316 CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE
2 26225 COARSE SHAPE//PRO CATEGORY//HOMOTOPY EPIMORPHISM
3 8019 THEORY AND APPLICATIONS OF CATEGORIES//CROSSED MODULE//SEMI ABELIAN CATEGORY
4 17763 APPROACH SPACE//APPLIED CATEGORICAL STRUCTURES//EFFECTIVE DESCENT MORPHISM
5 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
6 21198 LAWSON COMPACT//SCOTT TOPOLOGY//CONTINUOUS POSET
7 10371 INDUCTIVE INFERENCE//GRAMMATICAL INFERENCE//IDENTIFICATION IN THE LIMIT
8 10757 ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS
9 15469 KNOWLEDGE BASE VERIFICATION//VALIDATION OF INTELLIGENT SYSTEMS//VALIDATION TOOLS
10 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES

Go to start page