|prev||next|

Model parameters for topic "ID# 3"

Common phrases:

property; theorem; elements; proof; subset; axioms; proposition; natural numbers; fundamental theorem; mathematical logic;

Most typical words:

Most typical formProbability Most typical formProbability Most typical formProbability
NOUNS
set0.076837logic0.040475theory0.038928
mathematics0.030154elements0.027395proof0.022474
axioms0.02229theorem0.020314number0.017608
s0.016572statement0.014757subset0.014674
proposition0.013797order0.012497property0.010836
definition0.0097934example0.0090633system0.0079971
concept0.0077716measure0.0077203bound0.006769
notion0.0065091truth0.0064735mathematician0.0064305
Cantor0.0063779closure0.0062186inference0.0062094
P0.0061284class0.0058648rule0.0057666
lattice0.0057087probability0.0055285Union0.0055065
model0.0053478members0.0053255variables0.0052048
operations0.005183construction0.0050974Riemann0.0050397
lemma0.0049827term0.0048812domain0.0048326
geometry0.0045996fact0.0045995Flauius0.0044887
hypothesis0.0042377choice0.0041876
VERBS
set0.16024proved0.05424ordered0.038593
contains0.037323called0.029283See0.027917
defined0.024164exist0.024141predicate0.023573
said0.02125considered0.018269given0.016868
does0.015799may0.015517
ADJECTIVES
mathematical0.071739true0.050784finite0.042603
logical0.037812infinite0.035645formal0.029365
natural0.027199complete0.026398empty0.026085
real0.021538false0.020266uniform0.01687
countable0.013444affine0.012605axiomatic0.012595
great0.012258upper0.012241equivalent0.011224
certain0.010563measurable0.010456small0.0095538
regular0.0095015bounded0.0088077possible0.008732
ADVERBS
then0.091395only0.065465However0.039023
i.e.0.035638more0.028142thus0.027096
partially0.025662least0.022035even0.02013
sometimes0.019047most0.018674either0.018606
just0.018366indeed0.017811hence0.017731
Back...

Most typical documents:

Doc: Continuum (mathematics)Prob: 0.86691
Doc: Strict logicProb: 0.79382
Doc: Set of all setsProb: 0.75587
Doc: Direct proofProb: 0.73654
Doc: Axiom of countable choiceProb: 0.71897
Doc: Greatest elementProb: 0.70905
Doc: Upper boundProb: 0.70659
Doc: Degree of truthProb: 0.69997
Doc: Primitive notionProb: 0.69086
Doc: Logical assertionProb: 0.68559
Doc: Axiom of empty setProb: 0.68232
Doc: AlmostProb: 0.67844
Doc: UncountableProb: 0.66653
Doc: Maximal elementProb: 0.63702
Doc: DeriveProb: 0.62867
Doc: Kuratowski closure axiomsProb: 0.62429
Doc: Element (mathematics)Prob: 0.62026
Doc: Converse (logic)Prob: 0.60342
Doc: List of lemmasProb: 0.59913
Doc: List of axiomsProb: 0.59063
Doc: Brazilian logicProb: 0.57641
Doc: Disjoint setsProb: 0.5762
Doc: Descriptive set theoryProb: 0.57202
Doc: Zermelo-Fraenkel set theoryProb: 0.57069
Doc: Axiom of regularityProb: 0.56959
Doc: Bounded completeProb: 0.56922
Doc: Almost everywhereProb: 0.5681
Doc: AxiomatizationProb: 0.56669
Doc: HomininaeProb: 0.56652
Doc: Concept latticeProb: 0.56024

High ranking documents:

Doc: MathematicsProb: 0.03322
Doc: LogicProb: 0.024417
Doc: SetProb: 0.018399
Doc: Real numberProb: 0.016289
Doc: Set theoryProb: 0.014605
Doc: Cardinal numberProb: 0.010887
Doc: Empty setProb: 0.0089271
Doc: First-order predicate calculusProb: 0.0082194
Doc: SubsetProb: 0.008031
Doc: Axiomatic set theoryProb: 0.0080081
Doc: InfinityProb: 0.0079719
Doc: Countable setProb: 0.0074178
Doc: Natural numberProb: 0.0072022
Doc: Mathematical logicProb: 0.0067767
Doc: Axiom of choiceProb: 0.0065353
Doc: Ordinal numberProb: 0.0065277
Doc: Naïve set theoryProb: 0.0063789
Doc: Union (set theory)Prob: 0.006358
Doc: Total orderProb: 0.0052158
Doc: Order theoryProb: 0.0051956
Doc: Partially ordered setProb: 0.0051742
Doc: Universal quantificationProb: 0.0050784
Doc: Zermelo-Fraenkel set theoryProb: 0.0050535
Doc: Continuum hypothesisProb: 0.0050266
Doc: GeometryProb: 0.00484
Doc: David HilbertProb: 0.0046005
Doc: Power setProb: 0.00459
Doc: Cantor's diagonal argumentProb: 0.0043865
Doc: Propositional calculusProb: 0.0043708
Doc: Model theoryProb: 0.0043469