Thesis (doctoral)--Rheinische Friedrich-Wilhelms-Universität Bonn, 2001. / Includes bibliographical references (p. 107-109).

Thesis (Ph. D.)--University of Wisconsin--Madison, 1984. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 91-94).

Thesis--Wisconsin. / Vita. Includes bibliographical references (leaves 98-99).

The word problem for the free categories with some structure generated by a category X can be solved using proof-theoretical means. These free categories give a semantics in which derivations of GENTZEN's propositional sequent calculus can be interpreted by means of arrows of those categories. In this thesis we describe, implement and document the cut-elimination and the normalization techniques in proof theory as outlined in SZABO [1978]: we show how these are used in order to solve, mechanically, the word problem for the free categories with structure of : cartesian, bicartesian, distributive bicartesian, cartesian closed, and bicartesian closed. This implementation is extended by a procedure to interpret intuitionistic propositional sequent derivations as arrows of the above categories. Implementation of those techniques has forced us to modify the techniques in various inessential ways. The description and the representation in the syntax of our implementation of the above categories is contained in chapters 1 - 5, where each chapter describes one theory and concludes with examples of the system In use to represent concepts and solve simple word problems from category theory ( of various typos ). Appendix 1 contains some apparent printing errors we have observed in the work done by SZABO. The algorithms used in the proof of the cut-elimination theorems and normalization through chapters 1 - 5 are collected in appendices 2 - 4. Appendices 5 - 8 concern the implementation and its user manual.

No description available.

In this thesis, we consider the problem of capturing finite-representability between Banach spaces using the tools of continuous model theory. We introduce predicates and additional sorts to capture finite-representability and show that these can be used to expand the language of Banach spaces. We then show that the class of infinite-dimensional Banach spaces expanded with this additional structure forms an elementary class K_G , and conclude that the theory T_G of K_G is interpretable in T^{eq} , where T is the theory of infinite-dimensional Banach spaces. Finally, we show that existential equivalence in a reduct of the language implies finite-representability. Relevant background on continuous model theory and Banach space theory is provided. / Thesis / Master of Science (MSc)

No description available.

Given an o-minimal structure on the real field, we consider an elementary extension to a non-archimedean field R, and interpret the algebraically closed field K=R[sqrt(-1)] on this extension. We construct two pregeometries on K: one by considering images under C-definable holomorphic functions, and the other by considering images under proper restrictions of C-definable holomorphic functions together with algebraic functions (i.e. zeros of polynomials).We show that these two pregeometries are the same, generalising a result of A. Wilkie for complex holomorphic functions. We also do some work towards generalising another result of his on local definability of complex holomorphic functions to our non-archimedean setting.

No description available.

Thesis (Ph. D.)--Virginia Polytechnic Institute and State University, 1990. / Vita. Abstract. Includes bibliographical references (leaves 100-109). Also available via the Internet.