Related papers: Sketch for a Theory of Constructs

[Note to the reader: properties (C2) and (C2)* are under development, in order to form a generalization of (C3) and (C3)*]

This is an elementary geometrical proof of Birkhoff theorem. It is hardly important, but the pictures behind are quite nice.

We study some properties of the characteristic cycle of a constructible complex on a smooth variety over a perfect field, push-forward and product.

This is a survey of select recent results by a number of authors, inspired by the classical configuration theorems of projective geometry.

This is a survey of the model theory of second order logic.

This short note contains elementary evaluations of some Euler sums.

This is an investigation of the role of shuffling and concatenating in the theory of graph drawing. A simple syntactic description of these and related operations is proved complete in the context of finite partial orders, as general as…

The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.

In this study, we define interaction components of different orders between two input variables based on game theory. We further prove that interaction components of different orders satisfy several desirable properties.

In this note we discuss the possibility to get a time rather than space in the scenario of (de)construction of new dimension.

These lecture notes have been developed for the course Computational Social Choice of the Artificial Intelligence MSc programme at the University of Groningen. They cover mathematical and algorithmic aspects of voting theory.

The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure…

Compton scattering offers in principle an intriguing new window on nucleon structure. Existing experiments and future programs are discussed and the state of theoretical understanding of such measurements is explored.

This expository paper discusses some conjectures related to visibility and blockers for sets of points in the plane.

An introduction and overview of constructive reverse mathematics.

Inspired by the theory of classifying topoi for geometric theories, we define rounded sketches and logoi and provide the notion of classifying logos for a rounded sketch. Rounded sketches can be used to axiomatise all the known fragments of…

Lecture notes for an introductory course in elementary particles.

To any finite ordered subset and any finite partition of a group a set of tuples of positive integers, named as configurations, is associated that describes the group's behavior. The present paper provides an exposition of this notion and…

This note is about variations on a theorem of Bers about short pants decompositions of surfaces. It contains a version for surfaces with boundary but also a slight improvement on the best known bound for closed surfaces.

The object of this short note is to prove a theorem and present a conjecture for the number of even entries in the character table of the symmetric group.