Class information for:
Level 1: TYPE ISOMORPHISM//EPISTEMIC ARITHMETIC//WELL FOUNDED RELATIONS

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
37794 1                   TYPE ISOMORPHISM//EPISTEMIC ARITHMETIC//WELL FOUNDED RELATIONS 76

Terms with highest relevance score



rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 TYPE ISOMORPHISM authKW 1658796 5% 100% 4
2 EPISTEMIC ARITHMETIC authKW 552931 3% 67% 2
3 WELL FOUNDED RELATIONS authKW 552931 3% 67% 2
4 ALGEBRA OF POSETS authKW 414699 1% 100% 1
5 ARITHMETICAL IDENTITY authKW 414699 1% 100% 1
6 AWARENESS MODELS authKW 414699 1% 100% 1
7 CANONICAL NAMES authKW 414699 1% 100% 1
8 CYCLOTOMIC GAME authKW 414699 1% 100% 1
9 ENRICHED ONTOLOGIES authKW 414699 1% 100% 1
10 EXPONENTIATION OF POSITIVE INTEGERS authKW 414699 1% 100% 1

Web of Science journal categories



chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Logic 15688 32% 0% 24
2 Philosophy 1336 21% 0% 16
3 Mathematics 1309 57% 0% 43
4 Mathematics, Applied 172 20% 0% 15
5 Computer Science, Theory & Methods 129 12% 0% 9
6 History & Philosophy of Science 93 4% 0% 3
7 Computer Science, Artificial Intelligence 59 8% 0% 6
8 Computer Science, Software Engineering 17 4% 0% 3
9 Education & Educational Research 6 3% 0% 2
10 Language & Linguistics 5 1% 0% 1

Address terms



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 LOG PHILOSOPHY SCI PHILOSOPHY LANGUAGE 207348 1% 50% 1
2 IRIDA 103673 1% 25% 1
3 HGRP PHILOSOPHIE 59241 1% 14% 1
4 NAT WETEN PEN WISKUNDE INFORMAT 51836 1% 13% 1
5 UMR 7126 39491 3% 5% 2
6 LOG ANALYT PHILOSOPHY 31294 3% 4% 2
7 PPS 29852 4% 2% 3
8 LOGIC PHILOSOPHY SCI 27645 1% 7% 1
9 PREUVES PROGRAMMES SYST 19746 1% 5% 1
10 DIPARTIMENTO FILOSOFIA 2639 1% 1% 1

Journals



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF PHILOSOPHICAL LOGIC 16304 8% 1% 6
2 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 13343 5% 1% 4
3 MATHEMATICAL LOGIC QUARTERLY 12544 8% 1% 6
4 ANNALS OF PURE AND APPLIED LOGIC 9662 9% 0% 7
5 JOURNAL OF SYMBOLIC LOGIC 6905 9% 0% 7
6 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 6731 4% 1% 3
7 JOURNAL OF LOGIC LANGUAGE AND INFORMATION 5384 1% 1% 1
8 PHYSICS OF LIFE REVIEWS 2800 1% 1% 1
9 INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS 2558 1% 1% 1
10 JOURNAL OF HOMOTOPY AND RELATED STRUCTURES 1719 1% 0% 1

Author Key Words



chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 TYPE ISOMORPHISM 1658796 5% 100% 4 Search TYPE+ISOMORPHISM Search TYPE+ISOMORPHISM
2 EPISTEMIC ARITHMETIC 552931 3% 67% 2 Search EPISTEMIC+ARITHMETIC Search EPISTEMIC+ARITHMETIC
3 WELL FOUNDED RELATIONS 552931 3% 67% 2 Search WELL+FOUNDED+RELATIONS Search WELL+FOUNDED+RELATIONS
4 ALGEBRA OF POSETS 414699 1% 100% 1 Search ALGEBRA+OF+POSETS Search ALGEBRA+OF+POSETS
5 ARITHMETICAL IDENTITY 414699 1% 100% 1 Search ARITHMETICAL+IDENTITY Search ARITHMETICAL+IDENTITY
6 AWARENESS MODELS 414699 1% 100% 1 Search AWARENESS+MODELS Search AWARENESS+MODELS
7 CANONICAL NAMES 414699 1% 100% 1 Search CANONICAL+NAMES Search CANONICAL+NAMES
8 CYCLOTOMIC GAME 414699 1% 100% 1 Search CYCLOTOMIC+GAME Search CYCLOTOMIC+GAME
9 ENRICHED ONTOLOGIES 414699 1% 100% 1 Search ENRICHED+ONTOLOGIES Search ENRICHED+ONTOLOGIES
10 EXPONENTIATION OF POSITIVE INTEGERS 414699 1% 100% 1 Search EXPONENTIATION+OF+POSITIVE+INTEGERS Search EXPONENTIATION+OF+POSITIVE+INTEGERS

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 28527 AXIOM OF CHOICE//WEAK AXIOMS OF CHOICE//BOOLEAN PRIME IDEAL THEOREM
2 6479 APPLIED CATEGORICAL STRUCTURES//THEORY AND APPLICATIONS OF CATEGORIES//SEMI ABELIAN CATEGORY
3 29824 AFFINELY RIGID BODY//COSSERAT POINT//PSEUDO RIGID BODIES
4 9884 O MINIMALITY//O MINIMAL STRUCTURES//O MINIMAL
5 3042 LINEAR LOGIC//LAMBDA CALCULUS//GAME SEMANTICS
6 18056 HYPERCOMPUTATION//CHURCH TURING THESIS//ANALOG COMPUTATION
7 31908 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
8 36897 KNOWLEDGE INSTINCT//NEURAL MODELING FIELDS//COGNITIVE DISSONANCES
9 23361 MODAL INTERPRETATION//ABSTRACT DIFFERENTIAL GEOMETRY//MODAL HAMILTONIAN INTERPRETATION
10 11264 JOURNAL OF PHILOSOPHICAL LOGIC//ADAPTIVE LOGICS//LIAR PARADOX

Go to start page