35 research outputs found
Fixed Points on Abstract Structures without the Equality Test
In this paper we present a study of definability properties of fixed points of effective operators on abstract structures without the equality test. In particular we prove that Gandy theorem holds for abstract structures. This provides a useful tool for dealing with recursive definitions using Sigma-formulas. One of the applications of Gandy theorem in the case of the reals without the equality test is that it allows us to define universal Sigma-predicates. It leads to a topological characterisation of Sigma-relations on |R
Recommended from our members
Determinants of foreign direct investment in Vietnam 1988-2009
This thesis analyses the determinants of Foreign Direct Investment in Vietnam from 1988-2009. It examines the nature, motivation and impact of FDI upon the Vietnam economy and its contribution to the subsequent leap forward in economic growth. The focus is on developing Dunning’s eclectic theory through case study analysis of Honda-Vietnam Motorbike Company and ANZ-Vietnam Bank. The prominent theories on FDI generally used in the thesis focus on Vernon’s Product Life Cycle (PLC) model, the Market Imperfection Theory (MIT), the Transaction Cost (TC) or internalisation approach and Dunning’s Eclectic Theory. Dunning is the clearest methodology for understanding the Vietnamese case as its method is to take account of a countries particular FDI characteristics and their impact on economic growth. The addition of an emphasis on the impact of culture upon the development of FDI in Vietnam provides this thesis with evidence of its originality and legitimacy to the claim of filling a gap in the literature on FDI in developing countries and the advancement of economic theory.
The main focus in the case studies is demonstrating how foreign invested enterprises altered production, management, service and marketing processes to adapt their traditional, organisational and locational advantages to suit the local environment, and give them both foreign and domestic comparative advantages, ensuring the maximum possible capital return on their investments
Categorical semantics and composition of tree transducers
In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where the build function is substituted by a concrete functor. Moreover, we give a symmetric form (i.e. consumer and producer have the same syntactic form) of our new acid rain theorem where fusion is composition in a category and thus in particular associative. Applying this to compose top-down tree transducers yields the same result (on a syntactic level) as the classical top-down tree transducer composition. The second approach is based on free monads and monad transformers. In the same way as monoids are used in the theory of character string automata, we use monads in the theory of tree transducers. We generalize the notion of a tree transducer defining the monadic transducer, and we prove an according fusion theorem. Moreover, we prove that homomorphic monadic transducers are semantically equivalent. The latter makes it possible to compose syntactic classes of tree transducers (or particular functional programs) by simply composing endofunctors