A growing body of literature critical of ethics review boards has drawn attention to the processes used to determine the ethical merit of research. Citing criticism on the bureaucratic nature of ethics review processes, this literature provides a useful provocation for (re)considering how the ethics review might be enacted. Much of this criticism focuses on how ethics review boards _deliberate,_ with particular attention given to the lack of transparency and opportunities for researcher recourse that characterise ethics review processes. Centered specifically (...) on the conduct of ethics review boards convened within university settings, this paper draws on these inherent criticisms to consider the ways that ethics review boards might enact more communicative and deliberative practices. Outlining a set of principles against which ethics review boards might establish strategies for engaging with researchers and research communities, this paper draws attention to how _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ for the ethics review might be enacted in the day-to-day practice of the university human ethics review board. This paper develops these themes via a conceptual lens derived from Habermas’ (The theory of communicative action. Volume 1: Reason and the rationalization of society, 1984 ) articulation of ‘communicative action’ and Fraser’s (Social Text, 25(26), 56–80, 1990 ) consideration of ‘strong publics’ to cast consideration of the role that human ethics review boards might play in supporting university research cultures. _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ provide useful conceptual prompts for considering how ethics review boards might undertake their work. (shrink)

Ethics review processes are frequently perceived as extending from codes and protocols rooted in biomedical disciplines. As a result, many researchers in the humanities and social sciences (HASS) find these processes to be misaligned, if not outrightly obstructive to their research. This leads some scholars to advocate against HASS participation in institutional review processes as they currently stand, or in their entirety. While ethics review processes can present a challenge to HASS researchers, these are not insurmountable and, in fact, present (...) opportunities for ethics review boards (ERBs) to mediate their practices to better attend to the concerns of the HASS disciplines. By highlighting the potential value of the ethics review process in recognising the nuances and specificity across different forms of research, this article explores the generative possibilities of greater collaboration between HASS researchers and ERBs. Remaining cognisant of the epistemic and methodological differences that mark different disciplinary formations in turn will benefit the ethical conduct of all researchers. (shrink)

Care of the critically ill newborn includes support for the birth mother/parents with regular updates around the clinical condition of the baby, and involvement in discussions around complex decision-making issues. Discussions around continuation or discontinuation of life-sustaining are challenging even in the most straightforward of cases, but what happens when the birth mother is critically unwell? Such cases can lead to uncertainty around who should assume the parental role for these difficult discussions. In this round table discussion, we explore the (...) ethical, moral and legal uncertainties raised by coincident severe maternal and neonatal illness in the context of surrogacy. (shrink)

We introduce and study the notions of a PAC-substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a "descent theorem" for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants of pseudo-algebraically (...) closed fields from [6] are also valid for pseudo-differentially closed fields. (shrink)

We develop a basic theory of rosy groups and we study groups of small Uþ-rank satisfying NIP and having finitely satisfiable generics: Uþ-rank 1 implies that the group is abelian-by-finite, Uþ-rank 2 implies that the group is solvable-by-finite, Uþ-rank 2, and not being nilpotent-by-finite implies the existence of an interpretable algebraically closed field.

Adequate measurement is an essential component of the assessment of mental health disorders and symptoms such as depression and anxiety. The present study investigated sex-specific differences in the Patient Health Questionnaire-9 and Generalized Anxiety Disorder-7. This comprehensive cross-sectional design study pursued four objectives: measurement invariance of PHQ-9 and GAD-7 between male and female; depression and anxiety prevalence differences; cross-sex differences in the relationship between depression and anxiety; and a comparison of symptom heterogeneity. A sample of 1966 students from South Africa (...) completed the PHQ-9 and the GAD-7. Data analyses for measurement invariance, latent class analysis, inter-variable correlations and group comparisons were conducted in Mplus. The two-dimensional PHQ-9 achieved scalar invariance, while the GAD-7 yielded metric invariance. The somatic and non-somatic latent dimensions of depression were compared and showed no significant difference between male and female groups. The positive relationship between depression and anxiety was also not significantly different between the two groups. While the PHQ-9 symptoms formed three classes in the male group, and four classes in the female group, the GAD-7 had the same number of classes and a similar pattern between the two groups. These findings hold implications for the measurement, assessment and understanding of symptom manifestation and distribution, as well as the treatment of depression and anxiety in South Africa. (shrink)

Can an omnipotent and omnibenevolent God create humans with free will without the capacity to commit evil? Scholars have taken opposite positions on the contentious problem. Using scripture and the rules of logic, we argue that God cannot create impeccable creatures because of his ‘simplicity’. God cannot create gods, because God is uncreated. Peccable humans freely choose to disobey their creator and thus cannot blame him for the horrendous evils in this world. Concerning the belief of sinless humans with free (...) will in heaven, we suggest that such an impartation of God’s impeccability can be accomplished, not through creation, but by the marriage of Christ and the Church, for the two shall become one. Believers will become children of God and partakers of the divine nature.Contribution: Theologians and philosophers have argued whether God could create humans with free will who never commit evil, and if he could, why did he not do so? The primary contribution of this article is the argument that God could not create impeccable humans with free will for God could not create gods. (shrink)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory.

We introduce the notion of a lovely pair of models of a simple theory T, generalizing Poizat's “belles paires” of models of a stable theory and the third author's “generic pairs” of models of an SU-rank 1 theory. We characterize when a saturated model of the theory TP of lovely pairs is a lovely pair , finding an analog of the nonfinite cover property for simple theories. We show that, under these hypotheses, TP is also simple, and we study forking (...) and canonical bases in TP. We also prove that assuming only that T is low, the existentially universal models of the universal part of a natural expansion TP+ of TP, are lovely pairs, and “simple Robinson universal domains”. (shrink)

We study structures equipped with generic predicates and/or automorphisms, and show that in many cases we obtain simple theories. We also show that a bounded PAC field is simple. 1998 Published by Elsevier Science B.V. All rights reserved.

Let G be a group definable in an o-minimal structure M. In this paper we show: Theorem. If G is a two-dimensional definably connected nonabelian group, then G is centerless and G is isomorphic to R+R*>0, for some real closed field R. Theorem. If G is a three-dimensional nonsolvable, centerless, definably connected group, then either G SO3 or G PSL2, for some real closed field R.

We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does not (...) fork over $\emptyset$ , precisely as in stable groups, answering positively an earlier problem posed by the first two authors. (shrink)

§1. Introduction. In this report we wish to describe recent work on a class of first order theories first introduced by Shelah in [32], the simple theories. Major progress was made in the first author's doctoral thesis [17]. We will give a survey of this, as well as further works by the authors and others.The class of simple theories includes stable theories, but also many more, such as the theory of the random graph. Moreover, many of the theories of particular (...) algebraic structures which have been studied recently turn out to be simple. The interest is basically that a large amount of the machinery of stability theory, invented by Shelah, is valid in the broader class of simple theories. Stable theories will be defined formally in the next section. An exhaustive study of them is carried out in [33]. Without trying to read Shelah's mind, we feel comfortable in saying that the importance of stability for Shelah lay partly in the fact that an unstable theory T has 2λ many models in any cardinal λ ≥ ω1 + |T|. (shrink)

A lay movement known as the Poor of Christ, incorrectly referred to as the Waldensians, started in the Roman Church in 1176 and rapidly spread through Europe despite severe persecution by the church. Through their values and methods, they impacted on the communities where they were present. This article aims to show their role and contributions indicating its impact on the 16th century Reformation and relevance for the church today. It does this by examining selected themes from the Poor of (...) Christ: their life-transforming faith, the strengthening of laity, the equal role of women in ministry, the importance of teaching and living the faith, a focused rather than fenced theology and loyalty to the one Church of Christ. The article also draws reference to the COVID-19 pandemic and explores what we can learn from the Poor of Christ in addressing this situation.Contribution: This article puts the spotlight on an overlooked lay movement that contributed significantly in preparing the climate for the 16th Century Reformation. Their example shows that the real strength of church is through members empowered to holistically live their faith. The article shows the current relevance of their values and methods. (shrink)

This article assesses the shortcomings and the disconnectedness of the current academic theological education in South Africa. It offers a brief history to provide a guiding principle for academic theology. It then proceeds to show the current disconnect and challenges between academic theology and the church, with its primary focus on academic theology. Drawing on original research and reflection on these responses, commodification, euro-centricity and rankings are seen as three traps of modern academics. These three areas have distorted the true (...) content of theological reflection. This article thus clearly highlights the current problem and motivates the need for academic theology and the local church to reconnect with each other. With this article focussing on academic institutions, it calls for the academy to change not in nature but in content, and to draw its content for the local context. (shrink)

For G a group definable in some structure M, we define notions of “definable” compactification of G and “definable” action of G on a compact space X , where the latter is under a definability of types assumption on M. We describe the universal definable compactification of G as View the MathML source and the universal definable G-ambit as the type space SG. We also point out the existence and uniqueness of “universal minimal definable G-flows”, and discuss issues of amenability (...) and extreme amenability in this definable category, with a characterization of the latter. For the sake of completeness we also describe the universal compactification and universal G-ambit in model-theoretic terms, when G is a topological group. (shrink)

We study the groups Gal L and Gal KP, and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP. It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.

We discuss the role of weakly normal formulas in the theory of thorn forking, as part of a commentary on the paper [5]. We also give a counterexample to Corollary 4.2 from that paper, and in the process discuss “theories with selectors.”.

We study perfectly trivial theories, 1-based theories, stable varieties, and their mutual interaction. We give a structure theorem for the models of a complete perfectly trivial stable theory without DOP: any model is the algebraic closure of a nonforking regular tree of elements. We also give a structure theorem for stable varieties, all of whose completions have NDOP. Such a variety is a varietal product of an affine variety and a combinatorial variety of an especially simple form.

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well (...) as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint, arXiv:1201.5221v1]. (shrink)

In [E. Hrushovski, D. Palacín and A. Pillay, On the canonical base property, Selecta Math. 19 865–877], Hrushovski and the authors proved, in a certain finite rank environment, that rigidity of definable Galois groups implies that [Formula: see text] has the canonical base property in a strong form; “internality to” being replaced by “algebraicity in”. In the current paper, we give a reasonably robust definition of the “strong canonical base property” in a rather more general finite rank context than (...) [E. Hrushovski, D. Palacín and A. Pillay, On the canonical base property, Selecta Math. 19 865–877], and prove its equivalence with rigidity of the relevant definable Galois groups. The new direction is an elaboration on the old result that [Formula: see text]-based groups are rigid. (shrink)

We show that the structure (C,+,·) has no proper non locally modular reducts which contain +. In other words, if $X \subset \mathbf{C}^n$ is constructible and not definable in the module structure (C,+,λ a ) a ∈ C (where λ a denotes multiplication by a) then multiplication is definable in (C,+,X).

We study type-definable subgroups of small index in definable groups, and the structure on the quotient, in first order structures. We raise some conjectures in the case where the ambient structure is o-minimal. The gist is that in this o-minimal case, any definable group G should have a smallest type-definable subgroup of bounded index, and that the quotient, when equipped with the logic topology, should be a compact Lie group of the "right" dimension. I give positive answers to the conjectures (...) in the special cases when G is 1-dimensional, and when G is definably simple. (shrink)

We give a model-theoretic treatment of the fundamental results of Kechris-Pestov-Todorčević theory in the more general context of automorphism groups of not necessarily countable structures. One of the main points is a description of the universal ambit as a certain space of types in an expanded language. Using this, we recover results of Kechris et al. (Funct Anal 15:106–189, 2005), Moore (Fund Math 220:263–280, 2013), Ngyuen Van Thé (Fund Math 222: 19–47, 2013), in the context of automorphism groups of not (...) necessarily countable structures, as well as Zucker (Trans Am Math Soc 368, 6715–6740, 2016). (shrink)

We explore the existence and the size of infinite models of categorical theories having cardinality less than the size of the associated Tarski-Lindenbaum algebra. Restricting to totally transcendental, categorical theories we show that “Every tiny model is countable” is independent of ZFC. IfT is trivial there is at most one tiny model, which must be the algebraic closure of the empty set. We give a new proof that there are no tiny models ifT is not totally transcendental and is non-trivial.

We define the notion has the NIP (not the independence property) in A, where A is a subset of a model, and give some equivalences by translating results from function theory. We also discuss the number of coheirs when A is not necessarily countable, and revisit the notion “ has the NOP (not the order property) in a model M”.

It is known Hrushovski and Pillay that a group G definable in the field \ of p-adic numbers is definably locally isomorphic to the group \\) of p-adic points of a algebraic group H over \. We observe here that if H is commutative then G is commutative-by-finite. This shows in particular that any one-dimensional group G definable in \ is commutative-by-finite. This result extends to groups definable in p-adically closed fields. We prove our results in the more general (...) context of geometric structures. (shrink)

In this paper we introduce the notion of a first order topological structure, and consider various possible conditions on the complexity of the definable sets in such a structure, drawing several consequences thereof.Our aim is to develop, for a restricted class of unstable theories, results analogous to those for stable theories. The “material basis” for such an endeavor is the analogy between the field of real numbers and the field of complex numbers, the former being a “nicely behaved” unstable structure (...) and the latter the archetypal stable structure. In this sense we try here to situate our work ono-minimal structures [PS] in a general topological context. Note, however, that thep-adic numbers, and structures definable therein, will also fit into our analysis.In the remainder of this section we discuss several ways of studying topological structures model-theoretically. Eventually we fix on the notion of a structure in which the topology is “explicitly definable” in the sense of Flum and Ziegler [FZ]. In §2 we introduce the hypothesis that every definable set is a Boolean combination of definable open sets. In §3 we introduce a “dimension rank” on definable sets. In §4 we consider structures on which this rank is defined, and for which also every definable set has a finite number of definably connected definable components. We show that prime models over sets exist under such conditions. (shrink)

As clinicians, this case1 raises both personal and professional challenges. A key issue is who carries legal parental responsibility for the difficult decisions that may be required around life-sustaining care in baby T. Medicolegally, we understand that the surrogate mother holds legal parental responsibility for baby T until this can be transferred to the intended parents.2 But this process can take many months to complete, after the birth of baby. As M is now critically ill and unable to engage in (...) any discussion around the care of her baby, who becomes the legal guardian of the baby, for complex decision making that involves either reorientation of care away from intensive care with the inevitable consequence of death in this extremely premature baby, or continuing this life-sustaining treatment with a high likelihood for major neonatal morbidity and longer term disability? Does it pass onto one of the IPs as the genetic father, or does this responsibility fall on the neonatal consultant managing the baby in intensive care? And if an antenatal surrogacy agreement had existed, is it legally binding for inclusion of the IPs perspectives in the decision-making, especially if our medical decision making turns out to be at discord with the beliefs and wishes of the IPs for baby T? Box 1 ### Current surrogacy proceedings in the UK.2 6–8 The Law Commission UK5 is currently reviewing the decision on whether legal parenthood to intended parents can be effected immediately at the time of birth of the baby. Parental orders. (shrink)

In this paper we discuss several generalization of theorems from stability theory to simple theories. Cherlin and Hrushovski, in [2] develop a substitute for canonical bases in finite rank, ω-categorical supersimple theories. Motivated by methods there, we prove the existence of canonical bases (in a suitable sense) for types in any simple theory. This is done in Section 2. In general these canonical bases will (as far as we know) exist only as “hyperimaginaries”, namely objects of the forma/Ewhereais a possibly (...) infinite tuple andEa type-definable equivalence relation. (In the supersimple, ω-categorical case, these reduce to ordinary imaginaries.) So in Section 1 we develop the general theory of hyperimaginaries and show how first order model theory (including the theory of forking) generalises to hyperimaginaries. We go on, in Section 3 to show the existence and ubiquity of regular types in supersimple theories, ω-categorical simple structures and modularity is discussed in Section 4. It is also shown here how the general machinery of simplicity simplifies some of the general theory of smoothly approximable (or Lie-coordinatizable) structures from [2].Throughout this paper we will work in a large, saturated modelMof a complete theoryT. All types, sets and sequences will have size smaller than the size ofM. We will assume that the reader is familiar with the basics of forking in simple theories as laid out in [4] and [6]. For basic stability-theoretic results concerning regular types, orthogonality etc., see [1] or [9]. (shrink)

The COVID-19 challenge is unprecedented. It has caused enormous trauma, disrupted economies, social life, mass transportation, work and employment, supply chains, leisure, sport, international relations, academic programmes; literally everything. Churches and religious communities have not been spared; they have been severely affected and, in all likelihood, permanently transformed by the pandemic. The pre-COVID-19 world is gone, replaced by a ‘new normal’. The new landscape calls for both resilience and adaptation, embracing new ways of doing things and of being church. Churches (...) have to adapt; they have to ask themselves questions about the implications for being church in this ‘new normal’ context. This article aims to explore the impact of the coronavirus on the mission and theology of the church. (shrink)

The aim of this paper is to develop the theory of groups definable in the p-adic field ${{\mathbb {Q}}_p}$, with “definable f-generics” in the sense of an ambient saturated elementary extension of ${{\mathbb {Q}}_p}$. We call such groups definable f-generic groups.So, by a “definable f-generic” or $dfg$ group we mean a definable group in a saturated model with a global f-generic type which is definable over a small model. In the present context the group is definable over ${{\mathbb {Q}}_p}$, and (...) the small model will be ${{\mathbb {Q}}_p}$ itself. The notion of a $\mathrm {dfg}$ group is dual, or rather opposite to that of an $\operatorname {\mathrm {fsg}}$ group (group with “finitely satisfiable generics”) and is a useful tool to describe the analogue of torsion-free o-minimal groups in the p-adic context.In the current paper our group will be definable over ${{\mathbb {Q}}_p}$ in an ambient saturated elementary extension $\mathbb {K}$ of ${{\mathbb {Q}}_p}$, so as to make sense of the notions of f-generic type, etc. In this paper we will show that every definable f-generic group definable in ${{\mathbb {Q}}_p}$ is virtually isomorphic to a finite index subgroup of a trigonalizable algebraic group over ${{\mathbb {Q}}_p}$. This is analogous to the o-minimal context, where every connected torsion-free group definable in $\mathbb {R}$ is isomorphic to a trigonalizable algebraic group [5, Lemma 3.4]. We will also show that every open definable f-generic subgroup of a definable f-generic group has finite index, and every f-generic type of a definable f-generic group is almost periodic, which gives a positive answer to the problem raised in [28] of whether f-generic types coincide with almost periodic types in the p-adic case. (shrink)

The ongoing digital transformation (DT) in our world has not only brought change to secular systems but also to how things are done in the mission and ministry of the Christian faith. Although before the coronavirus disease 2019 (COVID-19) pandemic, some churches were interacting with DT, the post COVID-19 experience has shown that many more Christian organisations, especially, the African Neo-Pentecostal Churches (ANPC), have carved their niche in the digital space. With South Africa and Nigeria in view, this article investigated (...) how the ANPC interacts with DT to improve missional work and the possible implications of doing so in the last 15 years. In the process, three strategies were applied. Firstly, a literature review and some online investigations were undertaken to articulate how the ANPC have engaged with DT in the past. Secondly, as a primary source, a quantitative empirical survey was conducted through data collection from 109 Neo-Pentecostal leaders to assess the current development in the use of digital technology (DTECH) by the ANPC. Thirdly, the article applied Albert Humphrey’s Strengths, Weaknesses, Opportunities and Threats (SWOT) framework to analyse the implications of the interaction. The outcome showed that the strengths and opportunities of digital interaction such as the wider and easier reach of audience, online training, online giving, improved sound and light technology and advertisements among others are helpful in missional assignments. Nevertheless, some observed Weaknesses and Threats need attention. Most importantly, the lesson from the findings is that ‘techno church’ practices come with gains; however, interaction with DT is not sufficient for missional services.Contribution: Aligning with HTS Teologiese Studies/Theological Studies’s focus and scope, this article contributed to an interdisciplinary religious aspect of research as it brought forward the interactions of African Pentecostalism, Historical Theology and Information Technology. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} is (...) an elementary class if and only if T has the definable multiplicity property. (shrink)

The education of safety science professionals is a key requirement to ensuring the ongoing recognition of Occupational Health and Safety as a profession. Safety science educators, at some point in their academic career, are required to align with an appropriate teaching philosophy, however this important aspect of education pedagogy rarely receives scholarly attention in the safety sciences. Therefore, this article makes the case for philosophical pragmatism as an overarching teaching philosophy that works well within the evidence informed safety science practice (...) model. Pragmatism is a logical and valuable teaching philosophy which centres on linking theory, research, ideas and actions to multi-disciplinary practical applications. It is embedded in the notion that both multiple stakeholder, and multiple perspectives are required to solve practical safety-oriented problems. Pragmatism links to a reflective practitioner paradigm whereby students are asked to think critically about what they do. Further, learning is influenced by self-discovery. The key theoretical underpinnings of pragmatism are presented, as well as the 4 Ps of pragmatism as a teaching framework. The rational for embracing pragmatism as a higher educational teaching philosophy for the safety sciences is presented. Pragmatism is seen as both a path forward in reducing the theory into practice divide for safety science educators and professionals, and a teaching philosophy which enhances the safety science pedagogy educational lens. (shrink)