Dependent Choices and Anti‐Foundation

In Zermelo‐Fraenkel set theory without the Axiom of Foundation we study the schema version of the principle of dependent choices in connection with Aczel's antifoundation axiom (a part of it), Boffa's anti‐foundation axiom, and axiom of collection.     

Kripke‐Platek Set Theory and the Anti‐Foundation Axiom

The paper investigates the strength of the Anti‐Foundation Axiom, AFA, on the basis of Kripke‐Platek set theory without Foundation. It is shown that the addition of AFA considerably increases the proof theoretic strength.     

Multiple positive fixed points for the sum of expansive mappings and k‐set contractions

In this work, we are concerned with the existence of multiple positive fixed points for the sum of an expansive mapping with constant h > 1 and a k‐set contraction when 0 ≤ k < h ? 1. In particular, the case of the sum of an expansive mapping with constant h > 1 and an e‐concave operator and an e‐convex operator is considered. Two examples of application illustrate some of the theoretical results.     

Forcing under Anti‐Foundation Axiom: An expression of the stalks

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti‐Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε . Analogously to the usual forcing and the usual generic extension for FA‐models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA‐set theory can be developed in a similar way to that for FA‐set theory. Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Classification of non‐well‐founded sets and an application

A complete list of Finsler, Scott and Boffa sets whose transitive closures contain 1, 2 and 3 elements is given. An algorithm for deciding the identity of hereditarily finite Scott sets is presented. Anti‐well‐founded (awf) sets, i. e., non‐well‐founded sets whose all maximal ∈‐paths are circular, are studied. For example they form transitive inner models of ZFC minus foundation and empty set, and they include uncountably many hereditarily finite awf sets. A complete list of Finsler and Boffa awf sets with 2 and 3 elements in their transitive closure is given. Next the existence of infinite descending ∈‐sequences in Aczel universes is shown. Finally a theorem of Ballard and Hrbá?ek concerning nonstandard Boffa universes of sets is considerably extended.     

Uniformly continuous superposition operators in the Banach space of Hölder functions

Let I,J⊂R be intervals. One of the main results says that if a superposition operator H generated by a two place ,

H(φ)(x):=h(x,φ(x)),     

New existence and uniqueness theorems of positive fixed points for mixed monotone operators with perturbation

In this paper, we obtain some new and general existence and uniqueness theorems of positive fixed points for mixed monotone operators with perturbation, which extend the corresponding results in [Z.T. Zhang, New fixed point theorems of mixed monotone operators and applications, J. Math. Anal. Appl. 204 (1996) 307-319, Theorem 1, Corollaries 1 and 2]. Moreover, some applications to nonlinear integral equations on unbounded region are given.     

Decreasing flow invariant sets and fixed points of quasimonotone increasing operators

In this paper, we obtain some new results about the existence of multiple fixed points of a kind of quasimonotone increasing operator by the new method of decreasing flow invariant set.

     

Positive set‐operators of low complexity

The powerset operator, ??, is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ?‐operators. The question we address in this paper is: How is the class of ?‐operators generated ? It is shown that every positive ?‐operator Γ such that Γ(??) ≠ ??, is finitely generated from ??, the identity operator Id, constant operators and certain trivial ones by composition, ∪ and ∩. This extends results of [3] concerning bounded positive operators.     

Non‐relativistic continuous states in arbitrary dimension for a ring‐shaped pseudo‐Coulomb and energy‐dependent potentials

In this research, the non‐relativistic particle scattering has been investigated for an alternative pseudo‐Coulomb potential plus ring‐shaped and an energy‐dependent potentials in D‐dimensional space. The normalized wave functions of continuous states on the k/2π scale are expressed in terms of the hyper‐geometric series, and formula of phase shifts is presented. Analytical properties of the scattering amplitude and thermodynamics properties are discussed. Some of the numerical results of energy levels have been calculated too. Copyright © 2015 John Wiley & Sons, Ltd.     

Anti‐Ramsey numbers of doubly edge‐critical graphs

Given a graph H and a positive integer n, Anti‐Ramsey number AR(n, H) is the maximum number of colors in an edge‐coloring of K_n that contains no polychromatic copy of H. The anti‐Ramsey numbers were introduced in the 1970s by Erd?s, Simonovits, and Sós, who among other things, determined this function for cliques. In general, few exact values of AR(n, H) are known. Let us call a graph H doubly edge‐critical if χ(H?e)≥p+ 1 for each edge e∈E(H) and there exist two edges e₁, e₂ of H for which χ(H?e₁?e₂)=p. Here, we obtain the exact value of AR(n, H) for any doubly edge‐critical H when n?n₀(H) is sufficiently large. A main ingredient of our proof is the stability theorem of Erd?s and Simonovits for the Turán problem. © 2009 Wiley Periodicals, Inc. J Graph Theory 61: 210–218, 2009     

Commutativity of kth‐order slant Toeplitz operators

In this paper, commutativity of k^th‐order slant Toeplitz operators are discussed. We show that commutativity and essential commutativity of two slant Toeplitz operators are the same. Also, we study k^th‐order slant Toeplitz operators on the Bergman space L²_a(D) and give some commuting properties, algebraic and spectral properties of k^th‐order slant Toeplitz operators on the Bergman space (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Dunkl generalization of Szász beta‐type operators

The goal in the paper is to advertise Dunkl extension of Szász beta‐type operators. We initiate approximation features via acknowledged Korovkin and weighted Korovkin theorem and obtain the convergence rate from the point of modulus of continuity, second‐order modulus of continuity, the Lipschitz class functions, Peetre's K‐functional, and modulus of weighted continuity by Dunkl generalization of Szász beta‐type operators.     

A characterization of strongly measurable Kurzweil–Henstock integrable functions and weakly continuous operators

We give necessary and sufficient conditions for the Kurzweil–Henstock integrability of functions given by , where x_n belong to a Banach space and the sets (E_n)_n are measurable and pairwise disjoint. Also weakly completely continuous operators between Banach spaces are characterized by means of scalarly Kurzweil–Henstock integrable functions.     

Existence of fixed points for some convex operators and applications to multi-point boundary value problems

Existence results of fixed points for some convex operators are given by means of fixed point theorem of cone expansion and compression, then they are applied to nonlinear multi-point boundary value problems.     

Approximation properties for King's type modified q‐Bernstein–Kantorovich operators

In the present research article, we introduce the King's type modification of q‐Bernstein–Kantorovich operators and investigate some approximation properties. We show comparisons and present some illustrative graphics for the convergence of these operators to some function. Copyright © 2015 John Wiley & Sons, Ltd.     

Conformable fractional Sturm‐Liouville equation

In this article, we discuss a conformable fractional Sturm‐Liouville boundary‐value problem. We prove an existence and uniqueness theorem for this equation and formulate a self‐adjoint boundary value problem. We also construct the associated Green function of this problem, and we give the eigenfunction expansions. Finally, we will give some examples.     

On the eigenvectors of the q‐Bernstein operators

In this article, both the eigenvectors and the eigenvalues of the q‐Bernstein operators have been studied. Explicit formulae are presented for the eigenvectors, whose limit behavior is determined both in the case 0 < q < 1 and in the case q > 1. Because the classical case, where q = 1, was investigated exhaustively by S. Cooper and S. Waldron back in 2000, the present article also discusses the related similarities and distinctions with the results in the classical case. Copyright © 2013 John Wiley & Sons, Ltd.