Difference between revisions of "Individual constant"
From Encyclopedia of Mathematics
(Importing text file) |
m |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| + | {{TEX|done}} | ||
''object constant'' | ''object constant'' | ||
| − | A symbol of a [[ | + | 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. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
====References==== | ====References==== | ||
| − | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table> |
| + | <TR><TD valign="top">[a1]</TD> <TD valign="top"> J.L. Bell, M. Machover, "A course in mathematical logic" , North-Holland (1977)</TD></TR> | ||
| + | </table> | ||
Latest revision as of 05:50, 2 July 2024
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.
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
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