Crosslinking Super Yellow to produce super OLEDs: Crosslinking with azides enables improved performance

An increasing number of organic light-emitting diodes (OLEDs) is nowadays based on the use of polymers as the emissive material. For this material class in particular, solution-processing of the OLEDs has gained traction in both research and industry. However, in order to access multilayer material systems, orthogonal solvents must be used to prevent dissolution of previously prepared layers. The use of crosslinkers can facilitate this production method by reducing the number of orthogonal solvents needed since insoluble networks are generated. In this work, a novel bisazide crosslinker is employed to insolubilize Super Yellow, a polyphenylene-vinylene emitter. This allows the use of an additional poly[bis(4-phenyl)(2,4,6-trimethylphenyl)amine electron blocking layer (EBL) from the same solvent. Devices including the blocking layer show improved efficacies compared to reference devices without the additional EBL, while also maintaining the emission spectrum. Using the upscalable technique of doctor blading, OLEDs were fabricated which showed a particularly noticeable effect of the blocking layer with a nearly twofold increase in luminance and a 56% increase in current efficacy.     

Transition from a two-dimensional superfluid to a one-dimensional Mott insulator

A two-dimensional system of atoms in an anisotropic optical lattice is studied theoretically. If the system is finite in one direction, it is shown to exhibit a transition between a two-dimensional superfluid and a one-dimensional Mott insulating chain of superfluid tubes. Monte Carlo simulations are consistent with the expectation that the phase transition is of Kosterlitz-Thouless type. The effect of the transition on experimental time-of-flight images is discussed.     

Ueber die Curven dritter Ordnung mit einem Doppelpunkte

Ohne Zusammenfassung     

An ordinal analysis for theories of self-referential truth

The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the proof-theoretic strengths of the consistent theories? The first question was answered completely by Friedman and Sheard; all subsets of the Optional Axioms were classified as either consistent or inconsistent giving rise to nine maximal consistent theories of truth.They also determined the proof-theoretic strength of two subsets of the Optional Axioms. The aim of this paper is to continue the work begun by Friedman and Sheard. We will establish the proof-theoretic strength of all the remaining seven theories and relate their arithmetic part to well-known theories ranging from PA to the theory of ${\Sigma^1_1}The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the proof-theoretic strengths of the consistent theories? The first question was answered completely by Friedman and Sheard; all subsets of the Optional Axioms were classified as either consistent or inconsistent giving rise to nine maximal consistent theories of truth.They also determined the proof-theoretic strength of two subsets of the Optional Axioms. The aim of this paper is to continue the work begun by Friedman and Sheard. We will establish the proof-theoretic strength of all the remaining seven theories and relate their arithmetic part to well-known theories ranging from PA to the theory of S¹₁{\Sigma^1_1} dependent choice.     

On graded nil clean rings

In this paper we introduce and study the notion of a graded (strongly) nil clean ring which is group graded. We also deal with extensions of graded (strongly) nil clean rings to graded matrix rings and to graded group rings. The question of when nil cleanness of the component, which corresponds to the neutral element of a group, implies graded nil cleanness of the whole graded ring is examined. Similar question is discussed in the case of groupoid graded rings as well.     

Directionality of Gaussian Schell-model beams propagating in atmospheric turbulence

It is known that some partially coherent Gaussian Shell-model beams may generate, in free space, the same angular distribution of radiant intensity as a fully coherent laser beam. We show that this result also holds even if the beams propagate in atmospheric turbulence, irrespective of the particular model of turbulence used. The result is illustrated by an example.