No solvable lambda-value term left behind

In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated without loss of consistency. There is a definition of solvability for the lambda-value calculus, called v-solvability, but it is not synonymous with operational relevance, some lambda-value normal forms are unsolvable, and unsolvables cannot be consistently equated. We provide a definition of solvability for the lambda-value calculus that does capture operational relevance and such that a consistent proof-theory can be constructed where unsolvables are equated attending to the number of arguments they take (their "order" in the jargon). The intuition is that in lambda-value the different sequentialisations of a computation can be distinguished operationally. We prove a version of the Genericity Lemma stating that unsolvable terms are generic and can be replaced by arbitrary terms of equal or greater order.Comment: 43 page

A note on the phase transition in a topologically massive Ginzburg-Landau theory

We consider the phase transition in a model which consists of a Ginzburg-Landau free energy for superconductors including a Chern-Simons term. The mean field theory of Halperin, Lubensky and Ma [Phys. Rev. Lett. 32, 292 (1974)] is applied for this model. It is found that the topological mass, $\theta$, drives the system into different regimes of phase transition. For instance, there is a $\theta_{c}$ such that for $\theta<\theta_{c}$ a fluctuation induced first order phase transition occurs. On the other hand, for $\theta>\theta_{c}$ only the second order phase transition exists. The 1-loop renormalization group analysis gives further insight to this picture. The fixed point structure exhibits tricritical and second order fixed points.Comment: Revised version; uses a more physical parametrization of the renormalization group equations; new references added; one figure added; EuroLatex, 6 page

A non-perturbative approach to the Coleman- Weinberg mechanism in massless scalar QED

We rederive non-perturbatively the Coleman-Weinberg expression for the effective potential for massless scalar QED. Our result is not restricted to small values of the coupling constants. This shows that the Coleman- Weinberg result can be established beyond the range of validity of perturbation theory. Also, we derive it in a manifestly renormalization group invariant way. It is shown that with the derivation given no Landau ghost singularity arises. The finite temperature case is discussed. Pacs number: 11.10.Ef,11.10.Gh

Necessidades de informação para as tomadas de decisão internas e utilidade do relato financeiro municipal: um estudo exploratório no município de Bragança

As modificações do sistema contabilístico autárquico em Portugal têm melhorado a informação financeira preparada e relatada, supostamente aumentando a sua utilidade para a gestão autárquica, designadamente para as tomadas de decisão e controlo internos. Porém, até ao momento, tal pressuposto não foi analisado nem comprovado empiricamente. Neste sentido, este trabalho, que constitui um estudo exploratório, visa identificar as necessidades de informação dos utilizadores municipais para apoio às decisões internas e aferir a utilidade da informação da atual prestação de contas para a satisfação dessas necessidades. Os resultados evidenciam que, no Município de Bragança, os utilizadores têm diferentes necessidades de informação financeira para as tomadas de decisão internas, havendo uma preferência pelos documentos de caráter orçamental. Para os decisores internos deste município, a utilidade da informação da prestação de contas em geral é média ou baixa para a satisfação das suas diferentes necessidades de informação identificadas no presente estudo. Finalmente, observou-se também que as necessidades de informação de gestão (produzida pela contabilidade de custos) não têm qualquer influência na utilidade do relato da informação financeira