Namespaces
Variants
Actions

Difference between revisions of "Individual constant"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
 +
{{TEX|done}}
 
''object constant''
 
''object constant''
  
A symbol of a [[Formal language|formal language]] used to denote a distinguished, fixed element (individual) in the structure described by this language. Every individual constant can be regarded as a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050680/i0506801.png" />-place function [[Constant|constant]]. For example, the language of field theory contains the two individual constants 0 and 1, while the language of projective geometry contains no individual constants at all.
+
A symbol of a [[Formal language|formal language]] used to denote a distinguished, fixed element (individual) in the structure described by this language. Every individual constant can be regarded as a $0$-place function [[Constant|constant]]. For example, the language of field theory contains the two individual constants 0 and 1, while the language of projective geometry contains no individual constants at all.
  
  

Revision as of 15:33, 9 April 2014

object constant

A symbol of a formal language used to denote a distinguished, fixed element (individual) in the structure described by this language. Every individual constant can be regarded as a $0$-place function constant. For example, the language of field theory contains the two individual constants 0 and 1, while the language of projective geometry contains no individual constants at all.


Comments

References

[a1] J.L. Bell, M. Machover, "A course in mathematical logic" , North-Holland (1977)
How to Cite This Entry:
Individual constant. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Individual_constant&oldid=14526
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article