Related papers: Constructive Reverse Mathematics

Using simultaneously two operator identities, we consider the inversion of the convolution operators on a rectangular. The structure of the inverse operators and of some corresponding forms, which are important in signal processing, is…

We propose a new definition of actual cause, using structural equations to model counterfactuals. We show that the definition yields a plausible and elegant account of causation that handles well examples which have caused problems for…

In the paper we present some new inversion formulas and two new formulas for Stirling numbers.

This article gives a brief survey of the theory and applications of anomalies.

This is a brief overview of some turning points in the history of infinitesimals.

We provide a necessary and sufficient condition for a rough control driving a differential equation to be reconstructable, to some order, from observing the resulting controlled evolution. Physical examples and applications in stochastic…

The paper is an introduction to intuitionistic mathematics.

We study the complexity of deterministic and probabilistic inversions of partial computable functions on the reals.

We give a systematic construction of inverse-closed (Banach) subalgebras in general higher-dimensional non-commutative tori

This thesis develops the theory of bundle gerbes and examines a number of useful constructions in this theory. These allow us to gain a greater insight into the structure of bundle gerbes and related objects. Furthermore they naturally lead…

This is a short survey of amenable equivalence relations.

The concepts of negative refractive index and near-field imaging are explained in the form of a tutorial.

I present a brief update on the transverse polarization distributions, focusing on model calculations and phenomenological perspectives.

In this paper, we introduce the notion of a (generalized) right core inverse and give its characterizations and expressions. Then, we provide the relation schema of (one-sided) core inverses, (one-sided) pseudo core inverses and EP…

Work in progress concerning alternative formalizations of arithmetic.

The purpose of this report is a study of the algebraic approach possibilities to reconstruct images. This approach is reduced to solution of the large system of linear algebraic equations. We also point out some possible further…

A short introduction to the mathematical methods and technics of differential algebras and modules adapted to the problems of mathematical and theoretical physics is presented.

This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also…

Another approach to constructing an upper bound for the Riemann-Farey sum is described.

In this paper we shall study the inverse problem relative to dynamics of the w function which is a special arithmetic function and shall get some results.