Vol. 27, No. 1, 1968

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 297: 1
Vol. 296: 1  2
Vol. 295: 1  2
Vol. 294: 1  2
Vol. 293: 1  2
Vol. 292: 1  2
Vol. 291: 1  2
Vol. 290: 1  2
Online Archive
The Journal
Editorial Board
Special Issues
Submission Guidelines
Submission Form
Author Index
To Appear
ISSN: 0030-8730
Closed systems of functions and predicates

David Scott Geiger

Vol. 27 (1968), No. 1, 95–100

In this paper we show that there is a one to one correspondence between systems of functions defined on a finite set A and systems of predicates defined on A. This result implies that a complete set of invariants for a universal algebra on A is given by predicates defined on A. Conversely functions on A provide a complete system of invariants for sets of predicates closed under conjunction, change of variable and application of the existential quantifier.

Mathematical Subject Classification
Primary: 08.30
Received: 28 September 1967
Published: 1 October 1968
David Scott Geiger