Samarbete mellan konkurrenter - en undersökning av österbottniska sm-företag

Under senare tid har förekomsten av samarbete mellan konkurrerande sm-företag ökat. Forskningen kring ämnet har dock bedrivits i mindre skala, framför allt om man beaktar finländska (nordiska) förhållanden. Syftet med denna undersökning är att kartlägga förekomsten av samarbete mellan konkurrerande sm-företag i Österbotten (Finland), samt beskriva dessa. Gällande demografiska variabler jämförs dessa företag även med sm-företag som inte samarbetar. Data insamlades genom en enkät utskickad i november 2001 till 345 sm-företag i Österbotten. Svarsprocenten var 35.1. Av de respondenter som besvarade enkäten, var 47.9 procent involverade i ett eller flera samarbeten med ett eller flera företag som var deras konkurrenter. Samarbete mellan konkurrenter är således inte ett ovanligt fenomen, utan innefattar allt från informella, operativa samarbeten till formella, strategiskt viktiga samarbeten. Samarbete inom produktion var den mest vanligt förekommande formen av samarbete. Partnern kom från Finland, även om målmarknaderna för samarbetet fanns både i Finland och i utlandet. Denna undersökning kunde inte identifiera någon större skillnad mellan de sm-företag som samarbetade med konkurrenter och de sm-företag som inte samarbetade. Det intressanta är således att det inte verkar finnas några skillnader vad gäller ålder, omsättning, omsättningsökning, underleverans- och exportverksamhet mellan de samarbetande och de icke samarbetande företagen. Skillnaderna bör således sökas i andra variabler. Den enda signifikanta skillnaden kunde upptäckas i upplevelsen av konkurrens. Tidigare forskning har identifierat att osäkerhet i konkurrensen är ett incitament till att börja samarbeta med konkurrenter. Denna undersökning förstärker detta antagande. De samarbetande företagen upplevde att konkurrensen var hårdare än de icke samarbetande företagen. Bland de samarbetande företagen var det speciellt de mindre (med en personalstyrka mellan 10 och 50 arbetstagare) som upplevde att konkurrensen var hård. Undersökningen har finansierats med stipendiemedel från Sparbanksstiftelsen i Vasa och Handlande Gustav Svanljungs fond.

A Possible and Necessary Consistency Proof

After Gödel's incompleteness theorems and the collapse of Hilbert's programme Gerhard Gentzen continued the quest for consistency proofs of Peano arithmetic. He considered a finitistic or constructive proof still possible and necessary for the foundations of mathematics. For a proof to be meaningful, the principles relied on should be considered more reliable than the doubtful elements of the theory concerned. He worked out a total of four proofs between 1934 and 1939. This thesis examines the consistency proofs for arithmetic by Gentzen from different angles. The consistency of Heyting arithmetic is shown both in a sequent calculus notation and in natural deduction. The former proof includes a cut elimination theorem for the calculus and a syntactical study of the purely arithmetical part of the system. The latter consistency proof in standard natural deduction has been an open problem since the publication of Gentzen's proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector assignment. The reduction reduces the first component of the vector and this component can be interpreted as an ordinal less than epsilon_0, thus ordering the derivations by complexity and proving termination of the process.