Related papers: Constructive Reverse Mathematics

A short note on the reverse mathematical status of the totality of the relativised fast growing hierarchy.

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…

This is an account of the theory of inverse semigroups, assuming only that the reader knows the basics of semigroup theory.

We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts…

We prove some constructive results that on first and maybe even on second glance seem impossible.

This is an introductory article to the theory of multiple gaps.

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

The area of inverse problems in mathematics is highly interdisciplinary. In various fields of science, engineering, medicine, and industry, there arises a need to reconstruct information about unknown entities that cannot be directly…

This is a pedagogical review on polarized structure functions .

In this article one builds a class of recursive sets, one establishes properties of these sets, and one proposes applications.

We present constructive arithmetic in Deduction modulo with rewrite rules only.

An overview of the accomplishments of constructive quantum field theory is provided.

In this article we survey some of the recent developments in the structure theory of set addition.

Discussion of the necessity to use the constructive mathematics as the formalism of quantum theory for systems with many particles.

This is an exposition of some basic ideas in the realm of Global Inverse Function theorems. We address ourselves mainly to readers who are interested in the applications to Differential Equations. But we do not deal with those applications…

We present some of the group theoretic properties of reversing symmetry groups, and classify their structure in simple cases that occur frequently in several well-known groups of dynamical systems.

A review of the inverse scattering transform is given, and an introduction to solitons is provided.

This paper proves a reciprocity formula for modular inverses for non-zero integers and demonstrates some applications of the reciprocity formula in calculating or verifying some modular inverses of specific forms, including the modular…

By suitable examples we illustrate an algorithm for composition of inverse problems.

We propose a constructive interpretation of truth which resolves the standard semantic paradoxes.