scholarly journals Sampling of Multiple Variables Based on Partially Ordered Set Theory

2021 ◽  
Vol 20 (1) ◽  
pp. 307-331
Author(s):  
Bardia Panahbehagh ◽  
Rainer Bruggemann ◽  
Mohammad Salehi ◽  
◽  
◽  
...  
Keyword(s):  
Set Theory ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Partially Ordered ◽  
Multiple Variables

scholarly journals Pointwise compact and stable sets of measurable functions

1993 ◽  
Vol 58 (2) ◽  
pp. 435-455 ◽  
Author(s):  
S. Shelah ◽  
D. H. Fremlin
Keyword(s):  
Set Theory ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Measure Theory ◽  
Compact Set ◽  
Compact Sets ◽  
Stable Sets ◽  
Partially Ordered ◽  
Measurable Functions ◽  
Image Position

In a series of papers culminating in [9], M. Talagrand, the second author, and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of problems, interesting in themselves and important for the theory of Pettis integration, were solved subject to various special axioms. It was left unclear just how far the special axioms were necessary. In particular, several results depended on the fact that it is consistent to suppose that every countable relatively pointwise compact set of Lebesgue measurable functions is ‘stable’ in Talagrand's sense, the point being that stable sets are known to have a variety of properties not shared by all pointwise compact sets. In the present paper we present a model of set theory in which there is a countable relatively pointwise compact set of Lebesgue measurable functions which is not stable and discuss the significance of this model in relation to the original questions. A feature of our model which may be of independent interest is the following: in it, there is a closed negligible set Q ⊆ [0, 1]2 such that whenever D ⊆ [0,1] has outer measure 1, thenhas inner measure 1 (see 2G below).We embark immediately on the central ideas of this paper, setting out a construction of a partially ordered set which forces a fairly technical proposition in measure theory (IS below); the relevance of this proposition to pointwise compact sets will be discussed in §2.

The consistency of the axiom of universality for the ordering of cardinalities

1985 ◽  
Vol 50 (2) ◽  
pp. 502-509
Author(s):  
Marco Forti ◽  
Furio Honsell
Keyword(s):  
Set Theory ◽  
Partially Ordered Set ◽  
Regular Cardinal ◽  
Ordered Set ◽  
Partial Ordering ◽  
Generic Extension ◽  
Ground Model ◽  
Partially Ordered ◽  
Transfer Method ◽  
Image Position

T. Jech [4] and M. Takahashi [7] proved that given any partial ordering R in a model of ZFC there is a symmetric submodel of a generic extension of where R is isomorphic to the injective ordering on a set of cardinals.The authors raised the question whether the injective ordering of cardinals can be universal, i.e. whether the following axiom of “cardinal universality” is consistent:CU. For any partially ordered set (X, ≼) there is a bijection f:X → Y such that(i.e. x ≼ y iff ∃g: f(x) → f(y) injective). (See [1].)The consistency of CU relative to ZF0 (Zermelo-Fraenkel set theory without foundation) is proved in [2], but the transfer method of Jech-Sochor-Pincus cannot be applied to obtain consistency with full ZF (including foundation), since CU apparently is not boundable.In this paper the authors define a model of ZF + CU as a symmetric submodel of a generic extension obtained by forcing “à la Easton” with a class of conditions which add κ generic subsets to any regular cardinal κ of a ground model satisfying ZF + V = L.

Real functions on the family of all well-ordered subsets of a partially ordered set

1983 ◽  
Vol 48 (1) ◽  
pp. 91-96 ◽  
Author(s):  
Stevo Todorčević
Keyword(s):  
Set Theory ◽  
Real Function ◽  
Partially Ordered Set ◽  
Initial Segment ◽  
Ordered Set ◽  
Monotone Mapping ◽  
Ordered Sets ◽  
Partially Ordered ◽  
The Family ◽  
Aronszajn Trees

Definition 1 (Kurepa [3, p. 99]). Let E be a partially ordered set. Then σE denotes the set of all bounded well-ordered subsets of E. We consider σE as a partially ordered set with ordering defined as follows: st if and only if s is an initial segment of t.Then σE is a tree, i.e., {s ∈ σ E∣ st} is well-ordered for every t ∈ σE. The trees of the form αE were extensively studied by Kurepa in [3]–[10]. For example, in [4], he used σQ and σR to construct various sorts of Aronszajn trees. (Here Q and R denote the rationals and reals, respectively.) While considering monotone mapping between some kind of ordered sets, he came to the following two questions several times:P.1. Does there exist a strictly increasing rational function on σQ? (See [4, Problème 2], [5, p. 1033], [6, p. 841], [7, Problem 23.3.3].)P.2. Let T be a tree in which every chain is countable and every level has cardinality <2ℵ0. Does there exist a strictly increasing real function on T? (See [6, p. 246] and [7].)It is known today that Problem 2 is independent of the usual axioms of set theory (see [1]). Concerning Problem 1 we have the following.

Summarizing data using partially ordered set theory: An application to fiscal frameworks in 97 countries

2016 ◽  
Vol 32 (3) ◽  
pp. 383-402
Author(s):  
Julia Bachtrögler ◽  
Harald Badinger ◽  
Aurélien Fichet de Clairfontaine ◽  
Wolf Heinrich Reuter
Keyword(s):  
Set Theory ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Partially Ordered ◽  
Fiscal Frameworks

Information Retrieval Systems, an Algebraic Approach I1

1981 ◽  
Vol 4 (3) ◽  
pp. 551-603
Author(s):  
Zbigniew Raś
Keyword(s):  
Information Retrieval ◽  
Boolean Algebra ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Algebraic Approach ◽  
Partially Ordered ◽  
Retrieval Systems ◽  
Information Retrieval Systems ◽  
Present Part ◽  
L Systems

This paper is the first of the three parts of work on the information retrieval systems proposed by Salton (see [24]). The system is defined by the notions of a partially ordered set of requests (A, ⩽), the set of objects X and a monotonic retrieval function U : A → 2X. Different conditions imposed on the set A and a function U make it possible to obtain various classes of information retrieval systems. We will investigate systems in which (A, ⩽) is a partially ordered set, a lattice, a pseudo-Boolean algebra and Boolean algebra. In my paper these systems are called partially ordered information retrieval systems (po-systems) lattice information retrieval systems (l-systems); pseudo-Boolean information retrieval systems (pB-systems) and Boolean information retrieval systems (B-systems). The first part concerns po-systems and 1-systems. The second part deals with pB-systems and B-systems. In the third part, systems with a partial access are investigated. The present part discusses the method for construction of a set of attributes. Problems connected with the selectivity and minimalization of a set of attributes are investigated. The characterization and the properties of a set of attributes are given.

scholarly journals Each join-completion of a partially ordered set in the solution of a universal problem

1974 ◽  
Vol 17 (4) ◽  
pp. 406-413 ◽  
Author(s):  
Jürgen Schmidt
Keyword(s):  
Partially Ordered Set ◽  
Ordered Set ◽  
Unique Extension ◽  
Partially Ordered ◽  
Special Cases

The main result of this paper is the theorem in the title. Only special cases of it seem to be known so far. As an application, we obtain a result on the unique extension of Galois connexions. As a matter of fact, it is only by the use of Galois connexions that we obtain the main result, in its present generality.

scholarly journals Primitive idempotent measures on compact semitopological semigroups

1972 ◽  
Vol 13 (4) ◽  
pp. 451-455 ◽  
Author(s):  
Stephen T. L. Choy
Keyword(s):  
Partial Order ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Zero Element ◽  
Primitive Idempotent ◽  
Natural Partial Order ◽  
Partially Ordered

For a semigroup S let I(S) be the set of idempotents in S. A natural partial order of I(S) is defined by e ≦ f if ef = fe = e. An element e in I(S) is called a primitive idempotent if e is a minimal non-zero element of the partially ordered set (I(S), ≦). It is easy to see that an idempotent e in S is primitive if and only if, for any idempotent f in S, f = ef = fe implies f = e or f is the zero element of S. One may also easily verify that an idempotent e is primitive if and only if the only idempotents in eSe are e and the zero element. We let П(S) denote the set of primitive idempotent in S.

ON RIBBON PRESENTATIONS OF RIBBON KNOTS

1994 ◽  
Vol 03 (02) ◽  
pp. 223-231
Author(s):  
TOMOYUKI YASUDA
Keyword(s):  
Partially Ordered Set ◽  
Ordered Set ◽  
Partially Ordered ◽  
Totally Ordered Set

A ribbon n-knot Kn is constructed by attaching m bands to m + 1n-spheres in the Euclidean (n + 2)-space. There are many way of attaching them; as a result, Kn has many presentations which are called ribbon presentations. In this note, we will induce a notion to classify ribbon presentations for ribbon n-knots of m-fusions (m ≥ 1, n ≥ 2), and show that such classes form a totally ordered set in the case of m = 2 and a partially ordered set in the case of m ≥ 1.

Sign in / Sign up

Export Citation Format

Share Document