Data For Research
beta


  • Stable URL: http://www.jstor.org/stable/10.2307/2274334
  • Keyterms: positive, sequence, predicate, function, occurrence, quantification, boolean, domain, variable, exist, theorem, argument, nonatomic, image, interpretation, algebra, quantifier, identification, condition, rule, occur, totality
  • CiteRank: 276484

Top Words
Word Count
the473
a376
of350
is334
in226
and213
for193
that157
positive128
then110
every110
if105
are103
to103
there87
Top Bigrams
Bigram Count
of the99
for every76
every positive64
is a62
a is47
a positive47
there is39
positive sequence36
in the34
of a31
free in30
such that27
e n26
there exists24
not occur22
Top Trigrams
Trigram Count
for every positive44
there is a25
is a positive19
there exists a18
every positive sequence16
not occur in16
if a is15
exists a positive15
a positive sequence14
does not occur11
do not occur11
a there is10
and for every10
is free for10
identification of argument10
Top Quadgrams
Quadgram Count
there is a positive18
there exists a positive15
for every positive sequence12
do not occur in11
a there is a10
identification of argument places8
the hth list of8
a there exists a8
of the variables in7
that are free in7
a maximally consistent set7
variables that are free7
does not occur free6
if a is a6
occurs in the hth6
Top Keyterms
Keyterm Weight
positive2.0
sequence1.986
predicate1.986
function1.986
occurrence1.985
quantification1.985
boolean1.984
domain1.984
variable1.984
exist1.983
theorem1.982
argument1.982
nonatomic1.982
image1.98
interpretation1.979

JSTOR is part of ITHAKA, a not-for-profit organization helping the academic community use digital technologies to preserve the scholarly record and to advance research and teaching in sustainable ways.
©2000-2010 ITHAKA. All Rights Reserved. JSTOR®, the JSTOR logo, and ITHAKA® are registered trademarks of ITHAKA.