Nonstandard second-order arithmetic and Riemannʼs mapping theorem

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.     

Transfer principles in nonstandard intuitionistic arithmetic

 Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the construction allows us to strengthen these results with additional transfer rules; we then show that even trivial transfer axioms or minor strengthenings of these rules destroy conservativity over HA. The analysis also shows that nonstandard HA has neither the disjunction property nor the explicit definability property. Finally, careful attention to the complexity of our definitions allows us to show that a certain weak fragment of intuitionistic nonstandard arithmetic is conservative over primitive recursive arithmetic. Received: 7 January 2000 / Revised version: 26 March 2001 / Published online: 12 July 2002     

Intuitionistic nonstandard bounded modified realisability and functional interpretation

We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles.The functional interpretation is the intuitionistic counterpart of Ferreira and Gaspar's functional interpretation and has similarities with Van den Berg, Briseid and Safarik's functional interpretation but replacing finiteness by majorisability.We give a threefold contribution: constructive content and proof-theoretical properties of nonstandard arithmetic; filling a gap in the literature; being in line with nonstandard methods to analyse compactness arguments.     

An extension of the Brown-Robinson equivalence theorem

In this paper we present an extension of the Brown–Robinson equivalence theorem on the core and competitive allocations of a nonstandard exchange economy. This has, as its implication, a corresponding extension of their result on the cores of large but finite economies. The extension is based on a result which shows that the core allocations of a nonstandard exchange economy with “integrable” endowments are “integrable.”     

On the finiteness theorem of Siegel and Mahler concerning diophantine equations

In this paper we present a new proof, involving so-called nonstandard arguments, of Siegel's classical theorem on diophantine equations: Any irreducible algebraic equation f(x,y) = 0 of genus g > 0 admits only finitely many integral solutions. We also include Mahler's generalization of this theorem, namely the following: Instead of solutions in integers, we are considering solutions in rationals, but with the provision that their denominators should be divisible only by such primes which belong to a given finite set. Then again, the above equation admits only finitely many such solutions. From general nonstandard theory, we need the definition and the existence of enlargements of an algebraic number field. The idea of proof is to compare the natural arithmetic in such an enlargement, with the functional arithmetic in the function field defined by the above equation.     

Relative arithmetic

In nonstandard mathematics, the predicate ‘x is standard’ is fundamental. Recently, ‘relative’ or ‘stratified’ nonstandard theories have been developed in which this predicate is replaced with ‘x is y ‐standard’. Thus, objects are not (non)standard in an absolute sense, but (non)standard relative to other objects and there is a whole stratified universe of ‘levels’ or ‘degrees’ of standardness. Here, we study stratified nonstandard arithmetic and the related transfer principle. Using the latter, we obtain the ‘reduction theorem’ which states that arithmetical formulas can be reduced to equivalent bounded formulas. Surprisingly, the reduction theorem is also equivalent to the transfer principle. As applications, we obtain a truth definition for arithmetical sentences and we formalize Nelson's notion of impredicativity (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The arithmetic of cuts in models of arithmetic

We present a number of results on the structure of initial segments of models of Peano arithmetic with the arithmetic operations of addition, subtraction, multiplication, division, exponentiation and logarithm. Each of the binary operations introduced is defined in two dual ways, often with quite different results, and we attempt to systematise the issues and show how various calculations may be carried out. To understand the behaviour of addition and subtraction we introduce a notion of derivative on cuts, analogous to differentiation in the calculus. Multiplication, division and other operations are described by higher order versions of derivative. The work here is presented as important preliminary work related to a nonstandard measure theory of non‐definable bounded subsets of a model of Peano arithmetic.     

Height bounds,nullstellensatz and primality

In this study, we find height bounds in the polynomial ring over the field of algebraic numbers to test the primality of an ideal. We also obtain height bounds in the arithmetic Nullstellensatz. We apply nonstandard analysis and hence our constants will be ineffective.     

A Nonstandard Delta Function in a Predicative Theory

In [1] Todorov has shown by means of axiomatic set theory that there exists a nonstandard function Δ: *?ⁿ → * ? such that for all continuous functions φ: ?ⁿ → ?, . Here *? and *? are the set of the nonstandard real numbers and the set of the nonstandard complex numbers, respectively, and *φ: *?ⁿ → *? is the nonstandard extension of φ In the present note we want to prove an analogous theorem by predicative means only.     

Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable

We generalize to second order logic a result of Keisler concerning second order arithmetic. We prove that for any countable second order model, verifying certain axioms, there exists an elementary extension having the same domain of intrepretation for individuals and whose domain of interpretation for relations is uncountable. The axioms we ask for are the comprehension scheme, a choice scheme and a pairing scheme that allow us not to have explicitly a pairing function in the language.     

Radon extension of cylindrical measures on weak dual multi-Hilbertian spaces and the generalized Bochner theorem

This paper presents a nonstandard approach to Radon extension of cylindrical measures on weak dual multi-Hilbertian spaces. The results obtained are applied to characterize the Fourier transforms of Radon measures on weak dual multi-Hilbertian spaces (the generalized Bochner theorem).     

Hahn-Banach extension theorems over the space of fuzzy elements

The conventional Hahn-Banach extension theorem over a vector space has been widely used to derive many important and interesting results in nonlinear analysis, vector optimization and mathematical economics. Although the space of fuzzy elements is not a real vector space, the Hahn-Banach extension theorems over the space of fuzzy elements and the nonstandard normed space of fuzzy elements are presented in this paper. The work also shows the possible applications of the fuzzy-valued problems to nonlinear analysis, vector optimization and mathematical economics.     

Hahn-Banach theorems in nonstandard normed interval spaces

The conventional Hahn-Banach extension theorem based on vector space has been widely used to obtain many important and interesting results in nonlinear analysis, vector optimization and mathematical economics. Although the interval space is not a real vector space, the Hahn-Banach extension theorems based on interval spaces and nonstandard normed interval spaces can still be derived in this paper, which also shows the possible applications by considering the interval-valued problems in nonlinear analysis, vector optimization and mathematical economics.     

Infinite arithmetic formulas and the reflection principle

An extension of the language of arithmetic is constructed such that it allows us to work with recursive sequences of arithmetic formulas as if it were a single formula. It is proved that Feferman's reflection principles are inferable in the extension obtained. Supported by the Competitive Center for Basic Research (CCBR), grant No. 93-1-88-12. Translated fromAlgebra i Logika, Vol. 36, No. 3, pp. 245–258, May–June, 1997.     

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic

We show how to interpret weak Kőnig's lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are described, with very different verifications. The celebrated conservation result of Friedman's about weak Kőnig's lemma can be proved using these interpretations. We also address some issues concerning the collecting of witnesses in herbrandized functional interpretations.     

The arithmetic extensions of a numerical semigroup

Abstract

In this paper we introduce the notion of extension of a numerical semigroup. We provide a characterization of the numerical semigroups whose extensions are all arithmetic and we give an algorithm for the computation of the whole set of arithmetic extension of a given numerical semigroup. As by-product, new explicit formulas for the Frobenius number and the genus of proportionally modular semigroups are obtained.     

Analysis of the GCR method with mixed precision arithmetic using QuPAT

To verify computation results of double precision arithmetic, a high precision arithmetic environment is needed. However, it is difficult to use high precision arithmetic in ordinary computing environments without any special hardware or libraries. Hence, we designed the quadruple precision arithmetic environment QuPAT on Scilab to satisfy the following requirements: (i) to enable programs to be written simply using quadruple precision arithmetic; (ii) to enable the use of both double and quadruple precision arithmetic at the same time; (iii) to be independent of any hardware and operating systems.To confirm the effectiveness of QuPAT, we applied the GCR method for ill-conditioned matrices and focused on the scalar parameters α and β in GCR, partially using DD arithmetic. We found that the use of DD arithmetic only for β leads to almost the same results as when DD arithmetic is used for all computations. We conclude that QuPAT is an excellent interactive tool for using double precision and DD arithmetic at the same time.     

A fuzzy extension of Analytic Hierarchy Process based on the constrained fuzzy arithmetic

The aim of the paper is to highlight the necessity of applying the concept of constrained fuzzy arithmetic instead of the concept of standard fuzzy arithmetic in a fuzzy extension of Analytic Hierarchy Process (AHP). Emphasis is put on preserving the reciprocity of pairwise comparisons during the computations. For deriving fuzzy weights from a fuzzy pairwise comparison matrix, we consider a fuzzy extension of the geometric mean method and simplify the formulas proposed by Enea and Piazza (Fuzzy Optim Decis Mak 3:39–62, 2004). As for the computation of the overall fuzzy weights of alternatives, we reveal the inappropriateness of applying the concept of standard fuzzy arithmetic and propose the proper formulas where the interactions among the fuzzy weights are taken into account. The advantage of our approach is elimination of the false increase of uncertainty of the overall fuzzy weights. Finally, we advocate the validity of the proposed fuzzy extension of AHP; we show by an illustrative example that by neglecting the information about uncertainty of intensity of preferences we lose an important part of knowledge about the decision making problem which can cause the change in ordering of alternatives.     

When do two Banach spaces have isometrically isomorphic nonstandard hulls?

The answer to the title question is given in terms of the elementary properties of Banach spaces regarded as structures for a certain first-order language. The same question for Banach space ultrapowers is also considered. The connection between nonstandard hulls and Banach space ultrapowers derives in part from the following fact, of independent interest in nonstandard analysis: for each cardinal number κ there exist ultrapower enlargements which are κ-saturated and which have the κ-isomorphism property.     

Borel Measure Extensions of Measures Defined on Sub-σ-Algebras

We develop a new approach to the measure extension problem, based on nonstandard analysis. The class of thick topological spaces, which includes all locally compact and all K-analytic spaces, is introduced in this paper, and measure extension results of the following type are obtained: If (X,  ) is a regular, Lindelöf, and thick space, σ[ ] is a σ-algebra, and ν is a finite measure on , inner regular with respect to the closed sets in , then ν has a Radon extension. The methods developed here allow us to improve on previously known extension results.