On The Extension Of Measure By The Method Of Borel

1956 ◽  
Vol 8 ◽  
pp. 516-523 ◽  
Author(s):  
L. LeBlanc ◽  
G. E. Fox
Keyword(s):  
Outer Measure ◽  
Transfinite Induction ◽  
Boolean Ring

Introduction. This paper concerns the problem of extending a given measure defined on a Boolean ring to a measure on the generated σ-ring. Two general methods are familiar to the literature, that of Lebesgue (outer measure) and a method proposed by Borel using transfinite induction (4, 49-134; 2, 228-238).

scholarly journals Note on the Borel Method of Measure Extension

1962 ◽  
Vol 5 (3) ◽  
pp. 285-296 ◽  
Author(s):  
G. Fox
Keyword(s):  
Extension Theorem ◽  
Finite Measure ◽  
Outer Measure ◽  
Transfinite Induction ◽  
Additive Measure ◽  
Boolean Ring ◽  
Measure Extension ◽  
Borel Type

This note concerns a countably additive measure on a Boolean ring of subsets of an abstract set, this measure being real-valued, admitting ∞ as a possible value. We are interested only in unique extensions, so we suppose the measure to be σ- finite. The following well known result will be referred to as the "extension theorem": "Every σ-finite measure on a ring extends uniquely to a σ-finite measure on the generated σ-ring. "Besides the familiar proof using outer measure, there is a Borel-type proof using transfinite induction [4]. We attempt here to reduce the Borel-type proof to its ultimate simplicity, reducing the problem to the bounded case.

Correction to a definition of negation

1984 ◽  
Vol 49 (1) ◽  
pp. 47-50 ◽  
Author(s):  
Frederic B. Fitch
Keyword(s):  
Fixed Point ◽  
Personal Communication ◽  
The Other ◽  
Transfinite Induction ◽  
Original Form ◽  
Basic Logic ◽  
Double Negation ◽  
Original Letter ◽  
The Law ◽  
Definition Of

In [3] a definition of negation was presented for the system K′ of extended basic logic [1], but it has since been shown by Peter Päppinghaus (personal communication) that this definition fails to give rise to the law of double negation as I claimed it did. The purpose of this note is to revise this defective definition in such a way that it clearly does give rise to the law of double negation, as well as to the other negation rules of K′.Although Päppinghaus's original letter to me was dated September 19, 1972, the matter has remained unresolved all this time. Only recently have I seen that there is a simple way to correct the definition. I am of course very grateful to Päppinghaus for pointing out my error in claiming to be able to derive the rule of double negation from the original form of the definition.The corrected definition will, as before, use fixed-point operators to give the effect of the required kind of transfinite induction, but this time a double transfinite induction will be used, somewhat like the double transfinite induction used in [5] to define simultaneously the theorems and antitheorems of system CΓ.

scholarly journals When do L-fuzzy ideals of a ring generate a distributive lattice?

2016 ◽  
Vol 14 (1) ◽  
pp. 531-542
Author(s):  
Ninghua Gao ◽  
Qingguo Li ◽  
Zhaowen Li
Keyword(s):  
Distributive Lattice ◽  
Heyting Algebra ◽  
Lattice Structures ◽  
Boolean Ring ◽  
Fuzzy Subset ◽  
The Family ◽  
Essential Properties ◽  
Fuzzy Ideal

AbstractThe notion of L-fuzzy extended ideals is introduced in a Boolean ring, and their essential properties are investigated. We also build the relation between an L-fuzzy ideal and the class of its L-fuzzy extended ideals. By defining an operator “⇝” between two arbitrary L-fuzzy ideals in terms of L-fuzzy extended ideals, the result that “the family of all L-fuzzy ideals in a Boolean ring is a complete Heyting algebra” is immediately obtained. Furthermore, the lattice structures of L-fuzzy extended ideals of an L-fuzzy ideal, L-fuzzy extended ideals relative to an L-fuzzy subset, L-fuzzy stable ideals relative to an L-fuzzy subset and their connections are studied in this paper.

scholarly journals Green's relations for regular elements of sandwich semigroups, II; semigroups of continuous functions

1978 ◽  
Vol 25 (1) ◽  
pp. 45-65 ◽  
Author(s):  
K. D. Magill ◽  
S. Subbiah
Keyword(s):  
Continuous Functions ◽  
Maximal Subgroups ◽  
Green’S Relations ◽  
Boolean Ring ◽  
Regular Elements ◽  
Ring Homomorphisms ◽  
Special Cases ◽  
Green's Relations ◽  
Sandwich Semigroup ◽  
Sandwich Semigroups

AbstractA sandwich semigroup of continuous functions consists of continuous functions with domains all in some space X and ranges all in some space Y with multiplication defined by fg = foαog where α is a fixed continuous function from a subspace of Y into X. These semigroups include, as special cases, a number of semigroups previously studied by various people. In this paper, we characterize the regular elements of such semigroups and we completely determine Green's relations for the regular elements. We also determine the maximal subgroups and, finally, we apply some of these results to semigroups of Boolean ring homomorphisms.

The semigroup of endomorphisms of a Boolean ring

1970 ◽  
Vol 11 (4) ◽  
pp. 411-416 ◽  
Author(s):  
Kenneth D. Magill
Keyword(s):  
Rational Numbers ◽  
Boolean Ring ◽  
Ring Of Integers ◽  
The Family ◽  
Identity Automorphism

The family (R) of all endomorphisms of a ring R is a semigroup under composition. It follows easily that if R and T are isomorphic rings, then (R) and (T) are isomorphic semigroups. We devote ourselves here to the converse question: ‘If (R) and (T) are isomorphic, must R and T be isomorphic?’ As one might expect, the answer is, in general, negative. For example, the ring of integers has precisely two endomorphisms – the zero endomorphism and the identity automorphism. Since the same is true of the ring of rational numbers, the two endomorphism semigroups are isomorphic while the rings themselves are certainly not.

Sign in / Sign up

Export Citation Format

Share Document