Abstract
This chapter is concerned mainly with predicates, in particular with the specification of functions via predicates. In a rather restricted form this takes place via the graph predicates of functions. In a more general setting we consider selector properties. Operations on predicates and the associated closure properties play a central role in our discussion. In particular, we consider the so-called unbounded quantification, existential and universal.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Sanchis, L.E. (1988). Enumeration. In: Reflexive Structures. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-3878-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-3878-2_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-8386-7
Online ISBN: 978-1-4612-3878-2
eBook Packages: Springer Book Archive