An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory

An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK_∞⁺. We show that in these conditions, we can interprete the Kelley-Morse theory (KM) in GPK_∞⁺ (Theorem 3.7). This needs a preliminary property which give an interpretation of the Zermelo-Fraenkel set theory (ZF) in GPK_∞⁺. We also see what happens in the original GPK theory. Before doing this, we first need to study the basic properties of the theory. This is done in the first two sections.     

On the Consistency of a Positive Theory

In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK_∞⁺. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK_∞⁺ interprets the Kelley Morse class theory. Here we prove that GPK_∞⁺ + AC_WF (AC_WF being a form of the axiom of choice allowing to choose elements in well-founded sets) and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK_∞⁺ + AC_WF is a “strong” theory since “On is ramifiable” implies the existence of a proper class of inaccessible cardinals.     

T0-SEPARATION IN TOPOLOGICAL CATEGORIES

R.-E. Hoffmann [5,6] has introduced the notion of an (E,M)-universally topological functor, which provides a categorical characterization of the T₀-separation axiom of general topology. In this paper, we characterise these functors in terms of the unique extension of structure functors defined on the subcategory of “separated” objects (of the domain category). This, in turn, leads to a solution of some problems due to G.C.L. Brümmer [1,2]. Other results include a generalization of L. Skula's characterization of the bireflective subcategories of Top [10].     

Remarks on Levy's reflection axiom

Adding higher types to set theory differs from adding inaccessible cardinals, in that higher type arguments apply to all sets rather than just ordinary ones. Levy's reflection axiom is justified, by considering the principle that we can pretend that the universe is a set, together with methods of Gaifman [8]. We reprove some results of Gaifman, and some facts about Levy's reflection axiom, including the fact that adding higher types yields no new theorems about sets. Some remarks on standard models are made. An obvious strengthening of Levy's axiom to higher types is considered, which implies the existence of indescribable cardinals. Other remarks about larger cardinals are made; some questions of Gloede [9] are settled. Finally we argue that the evidence for V = L is strong, and that CH is certainly true. MSC: 03E30, 03E55.     

A theorem on the adjoint system for vector bundles

In this paper, we study the classification theory of uniruled varieties by means of the adjoint system for vector bundles on the varieties. We prove that ifE is an ample vector bundle on a smooth projective varietyX with rank(E)=dimX-2, thenK _X +C ₁ (E) is numerically effective except in a few cases. In all of the exceptional cases,X is a uniruled variety. As consequences, we generalized a result of Fujita [Fu3] and Ionescu [Io] and improve upon a theorem of Wiśniewski [Wi1].     

A partial model of NF with ZF

The theory New Foundations (NF) of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in [11] it is shown that the existence of some sets which appear naturally in ZF is an axiom independent from NF (see also [12]). Here we discuss a model of subsystems of NF in which there is a set which is a model of ZF. MSC: 03E70.     

A correlation inequality and a poisson limit theorem for nonoverlapping balanced subgraphs of a random graph

We consider non-overlapping subgraphs of fixed order in the random graph K_n, p(n). Fix a strictly strongly balanced graph G. A subgraph of K_{n, p(n)} isomorphic to G is called a G-subgraph. Let X_n be the number of G-subgraphs of K_{n, p(n)} vertex disjoint to all other G-subgraphs. We show that if E[X_n]→∞ as n→, then X_n/E[X_n] converges to 1 in probability. Also, if E[X_n]→c as n→∞, then X_n satisfies a Poisson limit theorem. the Poisson limit theorem is shown using a correlation inequality similar to those appeared in Janson, ?uczak, and Ruciñski[8] and Boppana and Spencer [4].     

Cc （X） Spaces with X Locally Compact

In this paper, we show, among other results, that if X is a [separable] locally compact space X [satisfying the first countability axiom] then the space Cc （X） has countable tightness [if and only if it has bounding tightness] if and only if it is Frechet-Urysohn, if and only if Cc （X） contains a dense （LM） subspace and if and only if X is a-compact.     

On the dirichlet problem of extreme points for non-continuous functions

Let X be a compact convex set and f be a bounded function defined on the set ext X of extreme points of X. We present a necessary and sufficient condition ensuring that f can be extended to a strongly affine Baire-α function. This generalizes a result of E. M. Alfsen from [2]. We also consider extensions of vector-valued mappings, thus generalizing another result of E. M. Alfsen.     

Lazy bases: a minimalist constructive theory of Noetherian rings

We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non‐discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring R with certifiable equality can be fitted with a partial ideal membership test for ideals of R. Lazy bases of ideals of R [X ] are introduced in order to derive a partial ideal membership test for ideals of R [X ]. It is then proved that if R is Noetherian, then so is R [X ]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

n‐linear weakly Heyting algebras

The present paper introduces and studies the variety ????_n of n‐linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic K with a generalization of the axiom that defines the linear intuitionistic logic or Dummett logic. Special attention is given to the variety ????₂ that generalizes the linear Heyting algebras studied in [10] and [12], and the linear Basic algebras introduced in [2]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Quasi-polynomial functions over bounded distributive lattices

In [6] the authors introduced the notion of quasi-polynomial function as being a mapping f : X ⁿ → X defined and valued on a bounded chain X and which can be factorized as ${f(x_1,\ldots,x_n)=p(\varphi(x_1),\ldots,\varphi(x_n))}In [6] the authors introduced the notion of quasi-polynomial function as being a mapping f : X ⁿ → X defined and valued on a bounded chain X and which can be factorized as f(x₁,?,x_n)=p(j(x₁),?,j(x_n)){f(x_1,\ldots,x_n)=p(\varphi(x_1),\ldots,\varphi(x_n))} , where p is a polynomial function (i.e., a combination of variables and constants using the chain operations ù{\wedge} and ú{\vee}) and j{\varphi} is an order-preserving map. In the current paper we study this notion in the more general setting where the underlying domain and codomain sets are, possibly different, bounded distributive lattices, and where the inner function is not necessarily order-preserving. These functions appear naturally within the scope of decision making under uncertainty since, as shown in this paper, they subsume overall preference functionals associated with Sugeno integrals whose variables are transformed by a given utility function. To axiomatize the class of quasi-polynomial functions, we propose several generalizations of well-established properties in aggregation theory, as well as show that some of the characterizations given in [6] still hold in this general setting. Moreover, we investigate the so-called transformed polynomial functions (essentially, compositions of unary mappings with polynomial functions) and show that, under certain conditions, they reduce to quasi-polynomial functions.     

Resolution trajectorielle et analyse numerique des equations differentielles stochastiques

Let (ξ_t) be the solution of the S.D.E. (E) of Section 1. Doss [3] has shown the existence of a difFerentiable function h and of a differentiate process parametrized by the process W,γ(W,t), such that: ξ_t = h(γ(W, t), W_t). For all continuous functions u, X_t is defined by: X_t = h(γ(u, t) u_t). We develop a scheme of approximation of X_t (Theorems 2-6 and 3-4). This scheme has th following properties:?

1)it does not explicitly involve γ or h; this property is crucial, because,generally, h is not explicitly known, and its numerical approximation would be costly.

2)it converges to X_t, provided that u has bounded quadratic variation.

3)for u = W, it coincides with a scheme proposed by Milshtein [6] for quadratic-mean approximation.

Further, we give an estimate of the error due to this scheme.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

Dzik [2] gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems, here called Dzik systems. The problem therefore arises of giving a direct proof, not using the axiom of choice, of the conditional . A partial solution is provided. Mathematics Subject Classification (2000): Primary 03B22; Secondary 03E25     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

On the calculation of the Dunkl-Williams constant of normed linear spaces

Recently, Jiménez-Melado et al. [Jiménez-Melado A., Llorens-Fuster E., Mazcuñán-Navarro E.M., The Dunkl-Williams constant, convexity, smoothness and normal structure, J. Math. Anal. Appl., 2008, 342(1), 298–310] defined the Dunkl-Williams constant DW(X) of a normed linear space X. In this paper we present some characterizations of this constant. As an application, we calculate DW(?₂-?_∞) in the Day-James space ?₂-?_∞.     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.     

A note onR 1-topological spaces

The purpose of the present note is to give a number of characterizations of theR ₁-axiom and to show that theR ₁-axiom is equivalent to the weakly Hausdorff axiom introduced byB. Banaschewski andJ. M. Maranda [2]. In anR ₁-space it is shown that the locally compactness property is also open hereditary and that the closure of an almost compact set is the union of the closures of its points. A necessary and sufficient condition is obtained under which a locally compact set dense in anR ₁-space is open. Finally a variant of a well-known theorem regarding two continuous functions of a topological space into aT ₂-space is formulated forR ₁-spaces.     

Addendum to “An extension of an inequality of Hoeffding to unbounded random variables”: The non-i.i.d. case

Let S _n = X ₁ + ⋯ + X _n be a sum of independent random variables such that 0 ⩽ X _k ⩽ 1 for all k. Write {ie237-01} and q = 1 − p. Let 0 < t < q. In our recent paper [3], we extended the inequality of Hoeffding ([6], Theorem 1) {fx237-01} to the case where X _k are unbounded positive random variables. It was assumed that the means {ie237-02} of individual summands are known. In this addendum, we prove that the inequality still holds if only an upper bound for the mean {ie237-03} is known and that the i.i.d. case where {ie237-04} dominates the general non-i.i.d. case. Furthermore, we provide upper bounds expressed in terms of certain compound Poisson distributions. Such bounds can be more convenient in applications. Our inequalities reduce to the related Hoeffding inequalities if 0 ⩽ X _k ⩽ 1. Our conditions are X _k ⩾ 0 and {ie237-05}. In particular, X _k can have fat tails. We provide as well improvements comparable with the inequalities in Bentkus [2]. The independence of X _k can be replaced by super-martingale type assumptions. Our methods can be extended to prove counterparts of other inequalities in Hoeffding [6] and Bentkus The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No T-25/08.