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|
|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 you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
If references are entirely missing, you can add them using this form.
If the full references list an item that is present in RePEc, but the system did not link to it, you can help with this form.
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your profile, as there may be some citations waiting for confirmation.
Please note that corrections may take a couple of weeks to filter through the various RePEc services.