Permissive-Nominal Logic (PNL) is an extension of first-order predicate logic in which term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such as of the λ-binder of the lambda-calculus or the ∀binder of first-order logic. It also allows us to finitely axiomatise arithmetic, and similarly to axiomatise ‘nominal’ datatypes-with-binding. Just like ...

We propose a language which can express every computable query. The language is syntactically based on the first-order predicate calculus, but semantically is interpreted as post-conditions, unlike the customary calculus query languages. The language has a capability to restrict itself to reasonable queries, accepting criteria of reasonability as a parameter.

Let / be any fixed positive integer and a a sentence in the first-order predicate calculus of/unary functions. For positive integers n, an «-structure is a model with universe {0,1,...,« 1} and/unary functions, and p(n,a) is the ratio of the number of «-structures satisfying a to n"f, the number of «-structures. We show that lim„_00/i(«, a) exists for all such a, and its value is given by an ex...

We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased...

Title of Dissertation: Turaev Torsion of 3-Manifolds with Boundary Christopher B. Truman, Doctor of Philosophy, 2006 Dissertation directed by: Professor James A. Schafer Department of Mathematics We study the Turaev torsion of 3-manifolds with boundary; specifically how certain “leading order” terms of the torsion are related to cohomology operations. Chapter 1 consists mainly of definitions an...

We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig’s small quantum groups, whose cohomology was first computed explicitly by Gin...

Let A be a Banach algebra. A is called ideally amenable if for every closed ideal I of A, the first cohomology group of A with coefficients in I* is trivial. We investigate the closed ideals I for which H1 (A,I* )={0}, whenever A is weakly amenable or a biflat Banach algebra. Also we give some hereditary properties of ideal amenability.