No description available.

The subject of the thesis is foundational aspects of partial functions (Papers 1, 2 & 4) and some choice principles (Papers 3 & 4) in the context of constructive mathematics. Paper 1 studies the inversion functions of commutative rings. The foundational problem of having them only partially defined is overcome by extending them to total functions. This cannot be done constructively unless the rings themselves are extended at the same time. We study such extensions, called wheels. It is investigated how identities for wheels relate to identities for commutative rings. Paper 2 studies the foundations of partial functions in Martin-Löf's type theory according to the view of subsets as propositional functions, in particular in connection with equivalence relations that the functions are supposed to preserve. The first and second isomorphism theorems of algebra are verified, showing that our approach is flexible enough for some natural mathematical proofs to be carried out. Paper 3 shows that the difference between the principles of intensional and extensional choice can be described as the principle of excluded middle plus a certain mild extensionality principle, which follows from the principle that functions are identical if they are identical at every point. Paper 4 studies a constructive calculus of indefinite and definite descriptions. It has the property that it can be interpreted straightforwardly in type theory with all terms referring to individuals. In this respect it differs from other constructive calculi of descriptions, which are known to be conservative extensions of description-free calculi but for which descriptions cannot be interpreted as referring to individuals in general. The appendix includes a predicative version of Birkhoff's theorem. It states that if a class of algebras is closed under homomorphic images, subalgebras and products and contains a set-indexed family of algebras that satisfies the same identities as the class, then the class can be axiomatized by a set of equations.

Avhandlingen behandlar problemet att välja tidpunkt för att lösa in en amerikansk option. En amerikansk option ger ägaren rätten att köpa eller sälja en underliggande vara för ett fast pris, kallat lösenpriset, fram till och med en förbestämd tid, den så kallade slutdagen. Den underliggande varan kan vara en aktie, en växelkurs, eller någon annan ekonomisk tillgång. I avhandlingen antar vi att optionen kan lösas in vid vissa givna tidpunkter som vi för enkelhets skull kallar 0,1, 2,…,N, där N är lösendagen. Ägaren vill hitta den optimala tidpunkten att lösa in optionen så att nuvärdet av den förväntade avkastningen maximeras. Att hitta den optimala tidpunkten att lösa in optionen är ett så kallat optimalt stopptidsproblem i diskret tid. I det optimala stopptidsproblemet observerar vi en följd av slumpmässiga värden (t.ex. aktiepriser) och söker efter den optimala tidpunkten att sluta observera följden och få en avkastning som bestäms av det senaste observerade värdet. Det är optimalt att lösa in optionen om avkastningen för det senaste observerade värdet är större än den förväntade framtida avkastningen givet det senaste observerade värdet. Utifrån denna regel kan vi för varje tidpunkt identifiera vilka värden som tillhör den optimala stoppmängden, d.v.s. mängden av alla värden för vilka det är optimalt att avsluta observationerna och lösa in optionen. Den optimala tidpunkten att lösa in optionen är den första tidpunkten då värdet på den underliggande varan observeras i den optimala stoppmängden. Avhandlingen består av två olika studier med anknytning till det optimala stopptids-problemet. I den första studien, se artiklarna A, B, C och D, undersöks strukturen på den optimala stoppmängden. I den andra studien, se artikel E, studeras värdet av den optimala strategin. I artikel A presenteras en experimentell studie av hur strukturen på de optimala stoppmängderna beror på vilken avkastningsfunktion som en amerikansk köpoption har. Avkastningsfunktionen bestämmer hur avkastningen ska beräknas utifrån det observerade värdet. I artikeln visas att den optimala stoppmängden kan till exempel vara ett intervall av värden så att det finns ett tröskelvärde för vilket alla värden som är större än detta tröskelvärde tillhör den optimala stoppmängden. Den optimala stoppmängden kan även vara en union av två eller flera intervall där det mellan intervallen finns värden för vilket det är optimalt att fortsätta att äga optionen. I artikel B, C och D ges tillrackliga villkor på avkastningsfunktionerna så att det finns ett tröskelvärde så att de optimala stoppmängderna har en enkel intervallstruktur. Artikel B behandlar amerikanska köpoptioner med avkastningsfunktioner som är konvexa och icke-avtagande med avseende på värdet på den underliggande varan. Prisprocessen, som beskriver utvecklingen värdet på den underliggande varan i tiden, är i denna artikel en inhomogen multiplikativ Markovprocess. Det tillräckliga villkoret på avkastningsfunktionen kan uttryckas på följande sätt: Om värdet av den underliggande varan vid en tidpunkt ändras, så ska förändringen av avkastningen vid den tidpunkten vara större än förändringen av den förväntade avkastningen vid följande tidpunkt. Artikel C och D utökar villkoren givna i artikel B till att gälla även optioner med icke-växande (artikel C) och icke-avtagande (artikel D) avkastningsfunktioner motsvarande säljoptioner respektive köpoptioner. Prisprocessen antas i dessa artiklar vara en generell inhomogen Markovprocess i diskret tid. De tillräckliga villkoren för avkastningsfunktionen kan i båda artiklarna uttryckas på liknande sätt som villkoret i artikel B. I den andra studien, se artikel E, studeras hur värdet av den optimala strategin påverkas om det finns en störning som påverkar avkastningsfunktionerna och övergångssannolikheterna för prisprocessen. Värdet på den optimala strategin för ett observerat värde som är i den optimala stoppmängden definieras som värdet av avkastningen som vi får om vi löser in optionen. Om det observerade värdet ar utanför stoppmängden är värdet på den optimala strategin lika med den förväntade framtida avkastningen givet det observerade värdet. I artikeln ges villkor på avkastningsfunktionerna och övergångssannolikheterna så att värdet på den optimala strategin i det "störda" fallet närmar sig värdet på den optimala strategin i det "ostörda" fallet när störningen i avkastningsfunktionerna och övergångssannolikheterna avtar mot noll.

How can one model, characterize and analyse systems consisting of a large number of interacting units? This thesis addresses various related aspects of this issue using dynamical systems theory. The thesis is constituted by four papers presenting the main findings as well as an introductory part giving the context of the work. In Paper I, we use evolutionary game theory to study a social dilemma where a group can obtain a collective benefit, but only if a threshold on the number of members willing to cooperate at a personal cost is met. The replicator dynamics of our model has interesting features, including catastrophic events. We also generalize the analysis to other n-player games. In Paper II, we introduce several new concepts and principles for describing and studying hierarchicalmultilevel systems with interactions both between groups and among individual units. We illustrate these concepts through defining a class of systems called higher order cellular automata, and discuss new phenomena and patterns of behaviour found in these systems. In Paper III, we introduce a local information measure for one-dimensional lattice systems in order to characterize the coherent structures emerging from the dynamics of higher order cellular automata as well as ordinary cellular automata. A further objective is to investigate to what extent information can be viewed as a local quantity in such systems. We demonstrate the applicability of our informationmeasure to these problems. Paper IV is a continuation of Paper III. We show that local information is a locally conserved quantity in the important class of surjective cellular automata and provide bounds on the information transport. The novel concepts and findings of the thesis may lead to an improved understanding of various phenomena found in systems of interacting units, and in particular systems with amultilevel dynamics. / Paper I: reprinted with kind permission of Elsevier, sciencedirect. com Paper II: reprinted from "Advances in Complex Systems", Vol. 8, nos. 2-3. Baas, Na and Helvik T. Higher Order Cellular Automata, 169-192, 2005, with permission from World Scientific Publishing Co. Pte. Ltd. Singapore.

This PhD-thesis consists of the five papers - On the Hochschild (co)homology of quantum exterior algebras, to appear in Comm. Algebra, -Complexity and periodicity, Coll. Math. 104 (2006), no. 2, 169-191, -Twisted support varieties, -Modules with reducible complexity, to appear in J. Algebra, - On support varieties for modules over complete intersections, to appear in Proc. Amer. Math. Soc. These papers are roughly divided into two groups; the ¯rst three study modules over Artin algebras using techniques from Hochschild cohomology, whereas the last two papers study modules over commutative Noetherian local rings, in particular modules over complete intersections.

No description available.

No description available.

No description available.

No description available.

No description available.