Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
We fix a first order language and we let be its set of symbols. (We may have called this the alphabet previously.)
 

Summary: Terms.
We fix a first order language and we let
S
be its set of symbols. (We may have called this the alphabet previously.)
1. GĻodel numbering of symbols.
S is the disjoint union of the sets
Punct, Logical, Const, Var, Func, Pred
where Punct is the set of punctuation symbols
( , )
Logical is the set of logical symbols

Const is the set of constant symbols
ck
where the ks run over a subset of N+
with the property that if 1 j < k and k is
in this set then so is j;
Var is the set of variable symbols
xk, k N+
Func is the set of function symbols
fn

  

Source: Allard, William K. - Department of Mathematics, Duke University

 

Collections: Mathematics