Vol. 27, No. 1, 1968

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 331: 1
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
Closed systems of functions and predicates

David Scott Geiger

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

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
Milestones
Received: 28 September 1967
Published: 1 October 1968
Authors
David Scott Geiger