368 research outputs found

    The variety generated by order algebras

    Get PDF
    Every ordered set can be considered as an algebra in a natural way. We investigate the variety generated by order algebras. We prove, among other things, that this variety is not finitely based and, although locally finite, it is not contained in any finitely generated variety; we describe the bottom of the lattice of its subvarieties

    On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width

    Full text link
    The relational width of a finite structure, if bounded, is always (1,1) or (2,3). In this paper we study the relational width of first-order expansions of finitely bounded homogeneous binary cores where binary cores are structures with equality and some anti-reflexive binary relations such that for any two different elements a, b in the domain there is exactly one binary relation R with (a, b) in R. Our main result is that first-order expansions of liberal finitely bounded homogeneous binary cores with bounded strict width have relational width (2, MaxBound) where MaxBound is the size of the largest forbidden substructure, but is not less than 3, and liberal stands for structures that do not forbid certain finite structures of small size. This result is built on a new approach and concerns a broad class of structures including reducts of homogeneous digraphs for which the CSP complexity classification has not yet been obtained.Comment: A long version of an extended abstract that appeared in LICS 202

    Automatic enumeration of regular objects

    Full text link
    We describe a framework for systematic enumeration of families combinatorial structures which possess a certain regularity. More precisely, we describe how to obtain the differential equations satisfied by their generating series. These differential equations are then used to determine the initial counting sequence and for asymptotic analysis. The key tool is the scalar product for symmetric functions and that this operation preserves D-finiteness.Comment: Corrected for readability; To appear in the Journal of Integer Sequence

    TOURNAMENTS, RISK PERCEPTIONS, AND FAIRNESS

    Get PDF
    This paper reports the results of an economic experiment investigating human subjects' preferences for two types of contracts tournaments and fixed performance standard contracts. Willingness to pay data was elicited through an auction and results suggest that subjects prefer fixed performance standard contracts to tournaments. Primary drivers of this result appear to be subjects' perceptions that tournaments are more risky and less fair than fixed performance standard contracts. Surprisingly, measures of the relative profitability of the contracts did not correlate with willingness to pay. Our results can shed light on why agricultural producers express frustration over tournaments and can provide insights on contract and policy design.Research Methods/ Statistical Methods,

    AJAE Appendix: Tournaments, Fairness, and Risk

    Get PDF
    The material contained herein is supplementary to the article named in the title and published in the American Journal of Agricultural Economics, Volume 88, Number 3, August 2006.Research Methods/ Statistical Methods, Risk and Uncertainty,
    corecore