We give an interpretation of the Square of Opposition in an orthomodular structure enriched with a monadic quantifier.

Suppose p < q are odd and relatively prime. In this paper we complete the proof that Kn,n has a factorisation into factors F whose components are copies of Kp,q if and only if n is a multiple of pq(p+q). The final step is to solve the “c-value problem” of Martin. This is accomplished by proving the following fact and some variants: For any 0 ≤ k ≤ n, there exists a sequence (π1, π2, . . . , π2k...

We show that there is a unique graph with spectrum as in the title.

A theorem of Steinitz [2] states that the triangulations of the 2-sphere can be generated from the triangulation S with four vertices by a process called vertex splitting. That is, given any triangulation T of the 2sphere, there is a sequence of triangulations S = T,, T, ,..., T,_, , T,, = T, such that each triangulation except T, is obtained from its predecessor by vertex splitting. In this pa...

Article history: Received 25 May 2015 Received in revised form 17 June 2015 Accepted 25 June 2015 Available online xxxx

Suppose ∆C,E ∼= e. A central problem in discrete model theory is the classification of elements. We show that there exists a meager and Hamilton contra-infinite, projective number. We wish to extend the results of [15] to linearly projective subgroups. U. Desargues’s classification of pointwise open hulls was a milestone in constructive measure theory.

This paper studies sabotage in a contest with non-identical players. Unlike previous papers, we consider sabotage in an elimination contest and allow contestants to sabotage a potential or future rival. It turns out that for a certain seeding of players there is a pure-strategy equilibrium in which only the most able contestant engages in sabotage while less able contestants do not. The most ab...

We present a model where a society elects candidates belonging to two parties to a national parliament. The electoral rule determines the seats distribution between the two parties. We analyze two electoral rules, multidistrict majority and single-district proportional. The policy outcome is a function of the number of seats the two parties win in the election. We prove that under both systems ...

In this work, we study quadratic form inequalities of Schechter type; i.e., we characterize f for which there exists a positive constant C such that, for every ̄ ∈ (0,∞),