Class information for: |
Basic class information |
ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
---|---|---|---|
30640 | 135 | 13.8 | 22% |
Classes in level above (level 2) |
ID, lev. above |
Publications | Label for level above |
---|---|---|
1681 | 6221 | LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC |
Terms with highest relevance score |
Rank | Term | Type of term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
---|---|---|---|---|---|---|
1 | RECURSIVE SATURATION | Author keyword | 7 | 64% | 5% | 7 |
2 | BERRYS PARADOX | Author keyword | 6 | 80% | 3% | 4 |
3 | MODELS OF PEANO ARITHMETIC | Author keyword | 4 | 75% | 2% | 3 |
4 | MODELS OF ARITHMETIC | Author keyword | 3 | 50% | 4% | 5 |
5 | RECURSIVELY SATURATED MODEL | Author keyword | 3 | 57% | 3% | 4 |
6 | PEANO ARITHMETIC | Author keyword | 3 | 25% | 8% | 11 |
7 | RESPLENDENT MODELS | Author keyword | 2 | 67% | 1% | 2 |
8 | SATISFACTION CLASSES | Author keyword | 2 | 67% | 1% | 2 |
9 | STANDARD CUT | Author keyword | 2 | 67% | 1% | 2 |
10 | BOUNDED SATURATION | Author keyword | 1 | 100% | 1% | 2 |
Web of Science journal categories |
Author Key Words |
Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
LCSH search | Wikipedia search |
---|---|---|---|---|---|---|---|
1 | RECURSIVE SATURATION | 7 | 64% | 5% | 7 | Search RECURSIVE+SATURATION | Search RECURSIVE+SATURATION |
2 | BERRYS PARADOX | 6 | 80% | 3% | 4 | Search BERRYS+PARADOX | Search BERRYS+PARADOX |
3 | MODELS OF PEANO ARITHMETIC | 4 | 75% | 2% | 3 | Search MODELS+OF+PEANO+ARITHMETIC | Search MODELS+OF+PEANO+ARITHMETIC |
4 | MODELS OF ARITHMETIC | 3 | 50% | 4% | 5 | Search MODELS+OF+ARITHMETIC | Search MODELS+OF+ARITHMETIC |
5 | RECURSIVELY SATURATED MODEL | 3 | 57% | 3% | 4 | Search RECURSIVELY+SATURATED+MODEL | Search RECURSIVELY+SATURATED+MODEL |
6 | PEANO ARITHMETIC | 3 | 25% | 8% | 11 | Search PEANO+ARITHMETIC | Search PEANO+ARITHMETIC |
7 | RESPLENDENT MODELS | 2 | 67% | 1% | 2 | Search RESPLENDENT+MODELS | Search RESPLENDENT+MODELS |
8 | SATISFACTION CLASSES | 2 | 67% | 1% | 2 | Search SATISFACTION+CLASSES | Search SATISFACTION+CLASSES |
9 | STANDARD CUT | 2 | 67% | 1% | 2 | Search STANDARD+CUT | Search STANDARD+CUT |
10 | BOUNDED SATURATION | 1 | 100% | 1% | 2 | Search BOUNDED+SATURATION | Search BOUNDED+SATURATION |
Key Words Plus |
Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
---|---|---|---|---|---|
1 | RECURSIVELY SATURATED MODELS | 13 | 80% | 6% | 8 |
2 | INCOMPLETENESS THEOREM | 2 | 67% | 1% | 2 |
3 | ARITHMETICALLY SATURATED MODELS | 1 | 100% | 1% | 2 |
4 | ELEMENTARY CUTS | 1 | 100% | 1% | 2 |
5 | INTERSTICES | 1 | 50% | 1% | 2 |
6 | SEMANTIC PARADOXES | 0 | 25% | 1% | 1 |
7 | ALTERNATIVE SET THEORY | 0 | 100% | 1% | 1 |
8 | EXTENDING AUTOMORPHISMS | 0 | 100% | 1% | 1 |
9 | NONSTANDARD MODELS | 0 | 100% | 1% | 1 |
10 | RESPLENDENT MODELS | 0 | 100% | 1% | 1 |
Journals |
Reviews |
Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
---|---|---|---|---|
MATHEMATICAL-THEORY OF VAGUENESS IN CZECHOSLOVAKIA - A HISTORICAL SURVEY AND BIBLIOGRAPHY | 1991 | 0 | 22 | 41% |
Address terms |
Rank | Address term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
---|---|---|---|---|---|
1 | ENGLISH CULTURE MEDIA | 1 | 50% | 0.7% | 1 |
2 | SCI AUTOMAT CONTROL PROC | 0 | 100% | 0.7% | 1 |
Related classes at same level (level 1) |
Rank | Relatedness score | Related classes |
---|---|---|
1 | 0.0000252485 | LOEB MEASURE//NONSTANDARD SET THEORY//LOEB MEASURES |
2 | 0.0000227472 | NONMEASURABLE SETS//INFINITE PARTITIONS//SIERPINSKIS THEOREM |
3 | 0.0000205161 | REVERSE MATHEMATICS//APPLICATIVE THEORIES//EXPLICIT MATHEMATICS |
4 | 0.0000180519 | BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY |
5 | 0.0000145488 | ORDERED FACTORIZATIONS//FACTORISATIO NUMERORUM//IMPROPER EDGE |
6 | 0.0000142450 | SERV LOG//GPK THEORY//ANTI FOUNDATION |
7 | 0.0000130038 | PROOF THEORETIC SEMANTICS//JOURNAL OF PHILOSOPHICAL LOGIC//REVIEW OF SYMBOLIC LOGIC |
8 | 0.0000120185 | URYSOHN METRIC SPACE//SMALL INDEX PROPERTY//CLONE LATTICE |
9 | 0.0000097941 | COMPUTABLE STRUCTURE//SIGMA DEFINABILITY//COMPUTABLE CATEGORICITY |
10 | 0.0000081401 | FUZZY BAGS//THEORY OF BAGS//FUZZY QUANTIFICATION |