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.

Talking About Climate Change: The Ecological Crisis and Narrative Form

This article examines the issue of climate change in the context of ecocriticism. It analyzes some of the narrative forms employed in the mediation of climate change science, focusing on those used by mediators who are not themselves scientists in the transmission of scientific information to a nonspecialist readership or audience. It reviews four relevant works that combine the communication of scientific theories and facts with pedagogical and motivational impulses. These include David Guggenheimer’s documentary film An Inconvenient Truth, Fred Pearce’s book The Last Generation: How Nature Will Take Her Revenge for Climate Change and the climate change manuals The Live Earth Global Warming Survival Handbook and How to Save the Climate.

The two modes of an athlete: Dual-process theories in the field of sport

The goal of the present article is to introduce dual-process theories – in particular the default-interventionist model – as an overarching framework for attention-related research in sports. Dual-process theories propose that two different types of processing guide human behavior. Type 1 processing is independent of available working memory capacity (WMC), whereas Type 2 processing depends on available working memory capacity. We review the latest theoretical developments on dual-process theories and present evidence for the validity of dual-process theories from various domains. We demonstrate how existing sport psychology findings can be integrated within the dual-process framework. We illustrate how future sport psychology research might benefit from adopting the dual-process framework as a meta-theoretical framework by arguing that the complex interplay between Type 1 and Type 2 processing has to be taken into account in order to gain a more complete understanding of the dynamic nature of attentional processing during sport performance at varying levels of expertise. Finally, we demonstrate that sport psychology applications might benefit from the dual-process perspective as well: dual-process theories are able to predict which behaviors can be more successfully executed when relying on Type 1 processing and which behaviors benefit from Type 2 processing.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Applicative theories for logarithmic complexity classes

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.

Darwin's multicellularity: from neurotrophic theories and cell competition to fitness fingerprints

Metazoans have evolved ways to engage only the most appropriate cells for long-term tissue development and homeostasis. In many cases, competitive interactions have been shown to guide such cell selection events. In Drosophila, a process termed cell competition eliminates slow proliferating cells from growing epithelia. Recent studies show that cell competition is conserved in mammals with crucial functions like the elimination of suboptimal stem cells from the early embryo and the replacement of old T-cell progenitors in the thymus to prevent tumor formation. Moreover, new data in Drosophila has revealed that fitness indicator proteins, required for cell competition, are also involved in the culling of retinal neurons suggesting that 'fitness fingerprints' may play a general role in cell selection.

On supergravity theories, after ∼ 40 years

An introduction to and a partial review of supergravity theories is given, insisting on concepts and on some important technical aspects. Topics covered include elements of global supersymmetry, a derivation of the simplest N = 1 supergravity theory, a discussion of N =1 matter-supergravity couplings, of the scalar sector and of some simple models. Space-time is four-dimensional.

Sport Psychology. Theories and Applications for Performance, Health and Humanity.

This congress proceedings volume includes all abstracts submitted to the 14th European Congress of Sport Psychology of the European Federation of Sport Psychology FEPSAC that have been accepted by the scientific evaluation committee. Content: six keynote lectures, Panteleimon ("Paddy") Ekkekakis: Escape from Cognitivism: Exercise as Hedonic Experience; Sergio Lara-Bercial and Cliff Mallett: Serial Winning Coaches – Vision, People and Environment; Kari Fasting: Sexual Harassment and Abuse in Sport – Implications for Sport Psychologists; Claudia Voelcker-Rehage: Benefits of Physical Activity and Fitness for Lifelong Motor and Cognitive Development – Brain and Behaviour; Nancy J. Cooke: Interactive Team Cognition: Focusing on Team Dynamics; Chris Harwood: Doing Sport Psychology? Critical Reflections as a Scientist-Practitioner. Abstracts of 11 invited symposia, 65 submitted symposia, 8 special sessions, and 5 poster sessions.

The M-theory origin of global properties of gauge theories

We show that global properties of gauge groups can be understood as geometric properties in M-theory. Different wrappings of a system of N M5-branes on a torus reduce to four-dimensional theories with AN−1 gauge algebra and different unitary groups. The classical properties of the wrappings determine the global properties of the gauge theories without the need to impose any quantum conditions. We count the inequivalent wrappings as they fall into orbits of the modular group of the torus, which correspond to the S-duality orbits of the gauge theories.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.