Related papers: Sketch for a Theory of Constructs

The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].

It is shown that the proof theory for sketches and forms provided in Part I of this paper (see http://www.cwru.edu/1/class/mans/math/pub/wells) is strong enough to produce all the theorems of the entailment system for multisorted equational…

These are expanded notes from lectures given at the \'{E}tats de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.

I review some of the recent progress in two-dimensional string theory, which is formulated as a sum over surfaces embedded in one dimension.

This document contains a description of several of my papers, including remarks on history and connection with subsequent work. It also contains some new results and conjectures.

This an expository article on Givental's axiomatic Gromov--Witten theory and some of its applications.

In this note for a topological group $G$, we introduce a bounded subset of $G$ and we find some relationships of this definition with other topological properties of $G$.

The main aim of the note is to provide an upper-bound for the characteristic number of conic-line arrangements with ordinary singularities in the complex projective plane.

This note is purely expository. The statement of the Gauss theorem on the constructibility of regular polygons by means of compass and ruler is simple and well-known. However, its proofs given in most textbooks rely upon much unmotivated…

This note records the order of a higher dimensional Dehn twist in a range of topologically significant groups.

An age-old controversy in mathematics concerns the necessity and the possibility of constructive proofs. The controversy has been rekindled by recent advances which demonstrate the feasibility of a fully constructive mathematics. This…

In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…

In this note, we give an alternative construction of the $G_2(2)$-graph from a $U_3(2)$-geometry.

The constraints on the models for the structure formation arising from various cosmological observations at different length scales are reviewed. The status of different models for structure formation is examined critically in the light of…

The study of nuclear and subnuclear structure by means of photon scattering is outlined. Besides a brief exposition of the formalism a few illustrative examples are discussed.

The purpose of this note is threefold: (i) to recall (with some points made more explicit) the mathematical Weyl algebra model formulation, given before, of the Staruszkiewicz theory of quantum Coulomb field; (ii) to add some new elements…

We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…

We give a presentation of abelian class field theory.

We study the geometry, Hodge theory and derived category of cubic fourfolds containing several planes and their associated twisted K3 surfaces. We focus on the case of two planes intersecting along a line.

This is a survey of some recent results concerning polynomial inequalities and polynomial approximation of functions in the complex plane. The results are achieved by the application of methods and techniques of modern geometric function…