the area over which a thing is distributed
- of a relation (in set theory) -
the set of elements or values which are related to some other element under the relation
based on reason
rational number
a number which is either zero or the ratio of two non-zero whole numbers
see also:

one who emphasises the role of reason in the justification of knowledge.
not imaginary
real number
the limit of a convergent sequence of rationals
belief in objective existence, often relative to some type of entity
involving self-reference
(in computer science and logic)
a definition of a function or procedure is recursive if it involves reference to the function or procedure being defined, i.e. if during evaluation the function or procedure may invoke itself (usually with different arguments).
recursive function (logic)
a recursive function is one which is effectively computable, whose evaluation always terminates with a result.
recursive set (logic)
a set is recursive if the question of membership in the set is effectively decidable.
recursively enumerable (logic)
a set is recursively enumerable if there is an effective procedure for enumerating the members of the set. Equivalently, if its membership question is semi-decidable.
conforming to a standard, complete, thorough, absolute
regular ordinal
an ordinal beta is regular if it is a limit ordinal whose cofinality, cf(beta), is beta.
the art of effective or persuasive speaking or writing
what one person or thing has to do with another
(logic, set theory)
a correspondence between two sets (say A, B) represented by a set of ordered pairs, each containing one element from A and one from B.
convert into a thing, materialise
(computing, formal methods)
to realise an abstract specification as an executable program
see also:

consisting of elected deputies
representative democracy
a democracy in which government effected by elected representatives of the people
see also:
participatory democracy
inflexible, strict
rigid designator
a name or description which designates the same object in every possible world
nonrigid designator
a designator which is not rigid
see also:
strongly rigid designator

UP HOME © RBJ created 1994-9-22 modified 2002-10-2