All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 3 Next

Displaying 41 – 60 of 173

Showing per page

The distribution of mathematical expectations of a randomized fuzzy variable.

V. B. Kuz'min, S. I. Travkin (1998)

Mathware and Soft Computing

The Shaffer's definition of the upper and lower expectations of fuzzy variables is considered with respect to randomized fuzzy sets. The notion of randomized fuzzy sets is introduced in order to evaluate fuzzy statistical indices for an arbitrary chosen fuzzy variable. Provided the distribution of the mathematical expectation of a randomized fuzzy variable is known, it is possible to adopt the traditional methods of testing statistical hypotheses for fuzzy variables.We show that this distribution...

The distributivity numbers of finite products of P(ω)/fin

Saharon Shelah, Otmar Spinas (1998)

Fundamenta Mathematicae

Generalizing [ShSp], for every n < ω we construct a ZFC-model where ℌ(n), the distributivity number of r.o. ( P ( ω ) / f i n ) n , is greater than ℌ(n+1). This answers an old problem of Balcar, Pelant and Simon (see [BaPeSi]). We also show that both Laver and Miller forcings collapse the continuum to ℌ(n) for every n < ω, hence by the first result, consistently they collapse it below ℌ(n).

The dual group of a dense subgroup

William Wistar Comfort, S. U. Raczkowski, F. Javier Trigos-Arrieta (2004)

Czechoslovak Mathematical Journal

Throughout this abstract, G is a topological Abelian group and G ^ is the space of continuous homomorphisms from G into the circle group 𝕋 in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism G ^ ↠ D ^ given by h ↦ h | D is a homeomorphism, and G is determined if each dense subgroup of G determines G . The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is...

The effective Borel hierarchy

M. Vanden Boom (2007)

Fundamenta Mathematicae

Let K be a subclass of Mod() which is closed under isomorphism. Vaught showed that K is Σ α (respectively, Π α ) in the Borel hierarchy iff K is axiomatized by an infinitary Σ α (respectively, Π α ) sentence. We prove a generalization of Vaught’s theorem for the effective Borel hierarchy, i.e. the Borel sets formed by union and complementation over c.e. sets. This result says that we can axiomatize an effective Σ α or effective Π α Borel set with a computable infinitary sentence of the same complexity. This result...

The embedding of the formal concept analysis into the L-Fuzzy concept theory.

Ana Burusco Juandeaburre, Ramón Fuentes-González (1998)

Mathware and Soft Computing

In this work, we study the relation between the concept lattice of Wille ([5], [6]) and the L-Fuzzy concept lattice ([2]) developed by us. To do it, we have defined an application g that associates to each concept of Wille an L-Fuzzy concept. The main point of this work is to prove that if we are working with a crisp relation between an object set and an attribute set, the concept lattice of Wille is a sublattice of the L-Fuzzy concept lattice. At the end, we show a typical example in the formal...

The enriched stable core and the relative rigidity of HOD

Sy-David Friedman (2016)

Fundamenta Mathematicae

In the author's 2012 paper, the V-definable Stable Core 𝕊 = (L[S],S) was introduced. It was shown that V is generic over 𝕊 (for 𝕊-definable dense classes), each V-definable club contains an 𝕊-definable club, and the same holds with 𝕊 replaced by (HOD,S), where HOD denotes Gödel's inner model of hereditarily ordinal-definable sets. In the present article we extend this to models of class theory by introducing the V-definable Enriched Stable Core 𝕊* = (L[S*],S*). As an application we obtain...

The even-odd hat problem

Daniel J. Velleman (2012)

Fundamenta Mathematicae

We answer a question of C. Hardin and A. Taylor concerning a hat-guessing game.

The Formal Construction of Fuzzy Numbers

Adam Grabowski (2014)

Formalized Mathematics

In this article, we continue the development of the theory of fuzzy sets [23], started with [14] with the future aim to provide the formalization of fuzzy numbers [8] in terms reflecting the current state of the Mizar Mathematical Library. Note that in order to have more usable approach in [14], we revised that article as well; some of the ideas were described in [12]. As we can actually understand fuzzy sets just as their membership functions (via the equality of membership function and their set-theoretic...

The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm

Richard Laver, Sheila Miller (2013)

Open Mathematics

The left distributive law is the law a· (b· c) = (a·b) · (a· c). Left distributive algebras have been classically used in the study of knots and braids, and more recently free left distributive algebras have been studied in connection with large cardinal axioms in set theory. We provide a survey of results on the free left distributive algebra on one generator, A, and a new, simplified proof of the existence of a normal form for terms in A. Topics included are: the confluence of A, the linearity...

The fuzzy hyperbolic inequality index of fuzzy random variables in finite populations.

Norberto Corral, María Angeles Gil, Hortensia López-García (1996)

Mathware and Soft Computing

This paper presents an approach to the problem of quantifying the inequality of a finite population with respect to a (social, economical, etc.) fuzzy-valued attribute. For this purpose, the fuzzy hyperbolic inequality index is introduced, and some properties extending the basic ones for real-valued attributes are examined.

The gap between I₃ and the wholeness axiom

Paul Corazza (2003)

Fundamenta Mathematicae

∃κI₃(κ) is the assertion that there is an elementary embedding i : V λ → V λ with critical point below λ, and with λ a limit. The Wholeness Axiom, or WA, asserts that there is a nontrivial elementary embedding j: V → V; WA is formulated in the language ∈,j and has as axioms an Elementarity schema, which asserts that j is elementary; a Critical Point axiom, which asserts that there is a least ordinal moved by j; and includes every instance of the Separation schema for j-formulas. Because no instance of Replacement...

The generic isometry and measure preserving homeomorphism are conjugate to their powers

Christian Rosendal (2009)

Fundamenta Mathematicae

It is known that there is a comeagre set of mutually conjugate measure preserving homeomorphisms of Cantor space equipped with the coinflipping probability measure, i.e., Haar measure. We show that the generic measure preserving homeomorphism is moreover conjugate to all of its powers. It follows that the generic measure preserving homeomorphism extends to an action of (ℚ, +) by measure preserving homeomorphisms, and, in fact, to an action of the locally compact ring 𝔄 of finite adèles. ...

Currently displaying 41 – 60 of 173