A connection between two nonparametric tests for perfect ranking in balanced ranked set sampling

In this note, we show that an extension of a test for perfect ranking in a balanced ranked set sample given by Li and Balakrishnan (2008) to the multi-cycle case turns out to be equivalent to the test statistic proposed by Frey et al. (2007). This provides an alternative interpretation and motivation for their test statistic.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

The Character of Christian-Muslim Encounter: Essays in Honour of David Thomas

The Character of Christian-Muslim Encounter is a Festschrift in honour of David Thomas, Professor of Christianity and Islam, and Nadir Dinshaw Professor of Inter Religious Relations, at the University of Birmingham, UK. The Editors have put together a collection of over 30 contributions from colleagues of Professor Thomas that commences with a biographical sketch and representative tribute provided by a former doctoral student, and comprises a series of wide-ranging academic papers arranged to broadly reflect three dimensions of David Thomas’ academic and professional work – studies in and of Islam; Christian-Muslim relations; the Church and interreligious engagement. These are set in the context of a focussed theme – the character of Christian-Muslim encounters – and cast within a broad chronological framework.