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.

Gebrokhene hertser : drama in 4 aḳṭen

fun Z. Libin [[Elektronische Ressource]]

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.

Elishe Ben Avuje : drama in 4 akṭen

fun Jankev Gordin

Goṭ, mensh un ṭayvl : drama in 4 akṭen miṭ a prolog

fun Jankev Gordin

Natan he-ḥakham : ayne dramaṭishe unṭerhandlung iber emuna un religion ; in 5 ersheynungen

ferfasṭ in dayṭshen fin ... Goṭṭhold Efrayim Lessing ; fray iberzeṭtsṭ un bearbayṭeṭ in'm yudishen zshargon fin Yitsḥaḳ Yoʾel Linyetsḳi

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.

Die Republikaner : ein historisches Drama in fünf Acten

Boberach: Genf wird als Musterrepublik dargestellt