Symmetric revealed cores and pseudocores, and Lawvere-Tierney closure operators
A choice function is a symmetric revealed core if there exists a symmetric irreflexive ‘dominance’ digraph such that choice sets consist precisely of the locally undominated outcomes of the latter. Symmetric revealed pseudocores are similarly defined by omitting the irreflexivity requirement on the underlying digraph. Lawvere-Tierney (LT) closure operators are those closure operators which are meet-homomorphic: they may be regarded as an algebraic representation of a geometric modality denoting ‘locally true’, and provide the mathematical backbone of a generalized version of so-called ‘Grothendieck topologies’ in categories. The classes of symmetric revealed cores and pseudocores are characterized, and their basic order-theoretic structure is studied. In particular, it is shown that their respective posets are sub-meet-semilattices of the canonical lattice of choice functions. An order duality theorem concerning the posets of symmetric revealed pseudocores and LT closure operators on a given ground set is also established.
|Date of creation:||Oct 2010|
|Date of revision:|
|Contact details of provider:|| Postal: Piazza S.Francesco,7 - 53100 Siena|
Web page: http://www.deps.unisi.it/
More information through EDIRC
When requesting a correction, please mention this item's handle: RePEc:usi:wpaper:602. See general information about how to correct material in RePEc.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Fabrizio Becatti)
If references are entirely missing, you can add them using this form.