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 148 Next

Displaying 2941 – 2960 of 5989

Showing per page

On L 1 Space Formed by Real-Valued Partial Functions

Yasushige Watase, Noboru Endou, Yasunari Shidama (2008)

Formalized Mathematics

This article contains some definitions and properties refering to function spaces formed by partial functions defined over a measurable space. We formalized a function space, the so-called L1 space and proved that the space turns out to be a normed space. The formalization of a real function space was given in [16]. The set of all function forms additive group. Here addition is defined by point-wise addition of two functions. However it is not true for partial functions. The set of partial functions...

On L -fuzzy ideals in semirings. I

Young Bae Jun, Joseph Neggers, Hee Sik Kim (1998)

Czechoslovak Mathematical Journal

In this paper we extend the concept of an L -fuzzy (characteristic) left (resp. right) ideal of a ring to a semiring R , and we show that each level left (resp. right) ideal of an L -fuzzy left (resp. right) ideal μ of R is characteristic iff μ is L -fuzzy characteristic.

On L -fuzzy ideals in semirings. II

Joseph Neggers, Young Bae Jun, Hee Sik Kim (1999)

Czechoslovak Mathematical Journal

We study some properties of L -fuzzy left (right) ideals of a semiring R related to level left (right) ideals.

On L p Space Formed by Real-Valued Partial Functions

Yasushige Watase, Noboru Endou, Yasunari Shidama (2010)

Formalized Mathematics

This article is the continuation of [31]. We define the set of Lp integrable functions - the set of all partial functions whose absolute value raised to the p-th power is integrable. We show that Lp integrable functions form the Lp space. We also prove Minkowski's inequality, Hölder's inequality and that Lp space is Banach space ([15], [27]).

On level by level equivalence and inequivalence between strong compactness and supercompactness

Arthur W. Apter (2002)

Fundamenta Mathematicae

We prove two theorems, one concerning level by level inequivalence between strong compactness and supercompactness, and one concerning level by level equivalence between strong compactness and supercompactness. We first show that in a universe containing a supercompact cardinal but of restricted size, it is possible to control precisely the difference between the degree of strong compactness and supercompactness that any measurable cardinal exhibits. We then show that in an unrestricted size universe...

On Levi subgroups and the Levi decomposition for groups definable in o-minimal structures

Annalisa Conversano, Anand Pillay (2013)

Fundamenta Mathematicae

We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With a rather strong definition of ind-definable semisimple subgroup, we prove that G has a unique maximal ind-definable semisimple subgroup S, up to conjugacy, and that G = R· S where R is the solvable radical of G. We also prove that any semisimple subalgebra of the Lie algebra of G corresponds to a unique ind-definable semisimple...

On logical fiberings and automated deduction in many-valued logics using Gröbner bases.

Jochen Pfalzgraf (2004)

RACSAM

The concept of logical fiberings is briefly summarized. Based on experiences with concrete examples an algorithmic approach is developed which leads to a represention of a many-valued logic as a logical fibering. The Stone isomorphism for expressing classical logical operations by corresponding polynomials can be extended to m-valued logics. On the basis of this, a classical deduction problem can be treated symbolically as a corresponding ideal membership problem using computer algebra support with...

On many-sorted ω-categorical theories

Enrique Casanovas, Rodrigo Peláez, Martin Ziegler (2011)

Fundamenta Mathematicae

We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non-G-compact ω-categorical theories.

On Marczewski-Burstin representable algebras

Marek Balcerzak, Artur Bartoszewicz, Piotr Koszmider (2004)

Colloquium Mathematicae

We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.

On matrix rapid filters

Winfried Just, Peter Vojtáš (1997)

Fundamenta Mathematicae

Galois-Tukey equivalence between matrix summability and absolute convergence of series is shown and an alternative characterization of rapid ultrafilters on ω is derived.

Currently displaying 2941 – 2960 of 5989