Quasi-Self-Dual Exponential Lévy Processes

The important application of semistatic hedging in financial markets naturally leads to the notion of quasi--self-dual processes. The focus of our study is to give new characterizations of quasi--self-duality. We analyze quasi--self-dual Lévy driven markets which do not admit arbitrage opportunities and derive a set of equivalent conditions for the stochastic logarithm of quasi--self-dual martingale models. Since for nonvanishing order parameter two martingale properties have to be satisfied simultaneously, there is a nontrivial relation between the order and shift parameter representing carrying costs in financial applications. This leads to an equation containing an integral term which has to be inverted in applications. We first discuss several important properties of this equation and, for some well-known Lévy-driven models, we derive a family of closed-form inversion formulae.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Thesaurus linguæ sanctæ compendiosè scil. contractus, planè tamen reseratus, pleneque explicatus, sive, Concordantiale lexicon Hebræo-Latino-Biblicum : in quo, lexica omnia Hebrarica, huc usque edita, methodicè, succinctè, ð quasi synopticus, exhibentur, una eum concordantiis Hebraicis

a Gulielmo Robertson

A review of air–ice chemical and physical interactions (AICI): liquids, quasi-liquids, and solids in snow

Snow in the environment acts as a host to rich chemistry and provides a matrix for physical exchange of contaminants within the ecosystem. The goal of this review is to summarise the current state of knowledge of physical processes and chemical reactivity in surface snow with relevance to polar regions. It focuses on a description of impurities in distinct compartments present in surface snow, such as snow crystals, grain boundaries, crystal surfaces, and liquid parts. It emphasises the microscopic description of the ice surface and its link with the environment. Distinct differences between the disordered air–ice interface, often termed quasi-liquid layer, and a liquid phase are highlighted. The reactivity in these different compartments of surface snow is discussed using many experimental studies, simulations, and selected snow models from the molecular to the macro-scale. Although new experimental techniques have extended our knowledge of the surface properties of ice and their impact on some single reactions and processes, others occurring on, at or within snow grains remain unquantified. The presence of liquid or liquid-like compartments either due to the formation of brine or disorder at surfaces of snow crystals below the freezing point may strongly modify reaction rates. Therefore, future experiments should include a detailed characterisation of the surface properties of the ice matrices. A further point that remains largely unresolved is the distribution of impurities between the different domains of the condensed phase inside the snowpack, i.e. in the bulk solid, in liquid at the surface or trapped in confined pockets within or between grains, or at the surface. While surface-sensitive laboratory techniques may in the future help to resolve this point for equilibrium conditions, additional uncertainty for the environmental snowpack may be caused by the highly dynamic nature of the snowpack due to the fast metamorphism occurring under certain environmental conditions. Due to these gaps in knowledge the first snow chemistry models have attempted to reproduce certain processes like the long-term incorporation of volatile compounds in snow and firn or the release of reactive species from the snowpack. Although so far none of the models offers a coupled approach of physical and chemical processes or a detailed representation of the different compartments, they have successfully been used to reproduce some field experiments. A fully coupled snow chemistry and physics model remains to be developed.

"Quasi ombra e figura de la verità". Poesia e pensiero in Torquato Tasso

"Pochi autori come il Tasso hanno suscitato interpretazioni tanto differenziate e, in molti casi, discordanti. Posto di volta in volta a chiusura di un'epoca, quella manieristica, o come anticipatore della successiva temperie barocca, egli pare aver scontato il prezzo di un'esemplarità sin troppo manifesta rispetto al proprio Zeitgeist, una stagione che vede, nella vulgata storiografica, la regola prevalere sull'afflato creativo. 'Era già critico prima di esser poeta', sentenziò il De Sanctis, che arrivava a circoscriverne pure l'esperienza biografica nel perimetro di un implacabile autodafé, definendolo 'più crudele inquisitore di sé che il tribunale dell'Inquisizione'. A ciò poi si aggiungeva l'estrinsecità della corte quale destinataria e quasi principio informativo del mondo tassiano, che sembrava legittimare, da Croce in avanti, tutta una serie di giudizi limitativi sulla sua poesia, orientati ad accentuarne la natura encomiastica, aneddotica, addirittura frivola. La critica più recente ha compiuto un'imponente e fondamentale opera di scavo all'interno della cultura tassiana, delle sue letture, della sua poetica, ma il tentativo di rettificare il profilo complessivo dell'autore mostra esiti ancora incerti. In risposta alla vecchia immagine di un Tasso sconfitto dalla cultura controriformistica e alla fine assoggettato alle sue leggi, se ne sono di recente aggiunte altre..." (Dall'introduzione)

Untersuchung der Konsequenzen von Leistungsangst durch die Einspielung von Quasi-Gedanken

Als Ursache für angstbedingte Testleistungseinbußen wird in der Leistungsangstforschung und benachbarten Forschungslinien die Störung der Aufgabenbearbeitung durch Sorgengedanken (sog. kognitive Interferenz) angenommen. Die empirische Erfassung dieser nicht direkt beobachtbaren Sorgengedanken gestaltet sich allerdings schwer und ist oftmals methodisch problematisch. Zur Untersuchung schwer messbarer Variablen schlagen Spencer et al. (2005) statt deren Messung deren experimentelle Manipulation vor. Darauf aufbauend testeten wir eine neue Methode zum Nachweis des Einflusses von Sorgengedanken auf kognitive Leistung. Wir manipulierten das Vorhandensein von Sorgengedanken in einer Studentinnenstichprobe (N = 115), indem während der Bearbeitung von Mathematikaufgaben gesprochene Sorgengedanken über Kopfhörer eingespielt wurden oder nicht. Die Ergebnisse geben einen ersten Hinweis auf die Brauchbarkeit dieser Methode und legen die zusätzliche Berücksichtigung motivationaler Variablen nahe.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).