相关论文: Januarials of simple and general type

We will use analytic function theory and Fourier analysis to establish a characterization for some classical umbral calculus, which will focus on the generalization of the evaluation function. Although we cannot cover all the umbral…

We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of…

Although the study of the definability of henselian valuations has a long history starting with J. Robinson, most of the results in this area were proven during the last few years. We survey these results which address the definability of…

This is a brief introduction on the graduate level to recent ideas in the Weinberg $(j,0)\oplus (0,j)$ formalism, appearing after presentation of the Bargamann-Wightman-Wigner-type quantum field theory by D. V. Ahluwalia {\it et al.}

We define and study a homological version of Sullivan's rational de Rham complex for simplicial sets. This new functor can be generalised to simplicial symmetric spectra and in that context it has excellent categorical properties which…

Motivated by the general problem of extending the classical theory of holomorphic functions of a complex variable to the case of quater- nion functions, we give a notion of an H-derivative for functions of one quaternion variable. We show…

We propose a new definition of actual causes, using structural equations to model counterfactuals.We show that the definitions yield a plausible and elegant account ofcausation that handles well examples which have caused problems forother…

In a first part we propose an introduction to multisymplectic formalisms, which are generalisations of Hamilton's formulation of Mechanics to the calculus of variations with several variables: we give some physical motivations, related to…

This is about the mathematics and life of Donald Gordon Higman, 1928-2006. He did important work in representation theory of groups and algebras and in algebraic combinatorics. Charles C. Sims and Donald Higman discovered and constructed…

We give an elementary account of generalized Fibonacci and Lucas polynomials whose moments are Narayana polynomials of type A and type B.

Using combinatorial techniques, we answer two questions about simple classical Lie groups. Define $N(G,m)$ to be the number of conjugacy classes of elements of finite order $m$ in a Lie group $G$, and $N(G,m,s)$ to be the number of such…

There are many possible definitions of derivatives, here we present some and present one that we have called generalized that allows us to put some of the others as a particular case of this but, what interests us is to determine that there…

When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other…

One of the numerous results of the Theory of General Relativity is the appearance of Gravimagnetism, described already by Thirring and Lense in 1918 [THI 18]. Its understanding normally remains reserved to specialists. This article presents…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

The paper describes a parser for Categorial Grammar which provides fully word by word incremental interpretation. The parser does not require fragments of sentences to form constituents, and thereby avoids problems of spurious ambiguity.…

In a recent work we derived the kinematic Hamiltonian and primary constraints of the new general relativity class of teleparallel gravity theories and showed that these theories can be grouped in 9 classes, based on the presence or absence…

Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke or D.…

We explore the issue of providing a foundational framework for Leibnizian infinitesimals in the light of modern standard and nonstandard approaches. We outline a trichotomy of ordinals, cardinals and ringinals as a historiographic tool. A…

We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even…