A minimax theorem for chain complete ordered sets

Order ◽  
1988 ◽  
Vol 5 (1) ◽  
Author(s):  
HenryA. Kierstead
Keyword(s):  
Minimax Theorem ◽  
Ordered Sets ◽  
Chain Complete

scholarly journals Strengthened fixed point property and products in ordered sets

2007 ◽  
Vol 57 (4) ◽  
Author(s):  
Josef Niederle
Keyword(s):  
Fixed Point ◽  
Axiom Of Choice ◽  
Fixed Point Property ◽  
Point Property ◽  
Ordered Sets ◽  
Product Property ◽  
Chain Complete ◽  
The Axiom Of Choice

AbstractStrengthened fixed point property for ordered sets is formulated. It is weaker than the strong fixed point property due to Duffus and Sauer and stronger than the product property meaning that A × Y has the fixed point property whenever A has the former and Y has the latter. In particular, doubly chain complete ordered sets with no infinite antichain have the strengthened fixed point property whenever they have the fixed point property, which yields a transparent proof of the well-known theorem saying that doubly chain complete ordered sets with no infinite antichain have the product property whenever they have the fixed point property. The new proof does not require the axiom of choice.

To the spectral theory of partially ordered sets

2018 ◽  
Vol 60 (3) ◽  
pp. 578-598
Author(s):  
Yu. L. Ershov ◽  
M. V. Schwidefsky
Keyword(s):  
Spectral Theory ◽  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

Modelling Nondeterministic Concurrent Processes with Event Structures

1991 ◽  
Vol 14 (1) ◽  
pp. 39-73
Author(s):  
Rita Loogen ◽  
Ursula Goltz
Keyword(s):  
Dynamic Behaviour ◽  
Partially Ordered Sets ◽  
Parallel Composition ◽  
Ordered Sets ◽  
Communicating Sequential Processes ◽  
Partially Ordered ◽  
Event Structures ◽  
Transition Relation ◽  
Concurrent Processes ◽  
Sequential Processes

We present a non-interleaving model for non deterministic concurrent processes that is based on labelled event structures. We define operators on labelled event structures like parallel composition, nondeterministic combination, choice, prefixing and hiding. These operators correspond to the operations of the “Theory of Communicating Sequential Processes” (TCSP). Infinite processes are defined using the metric approach. The dynamic behaviour of event structures is defined by a transition relation which describes the execution of partially ordered sets of actions, abstracting from internal events.

Estimating the area under a receiver operating characteristic curve using partially ordered sets

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Ehsan Zamanzade ◽  
Xinlei Wang
Keyword(s):  
Roc Curve ◽  
Characteristic Curve ◽  
Partially Ordered Sets ◽  
Sampling Technique ◽  
Real Data ◽  
Cost Effective ◽  
Ordered Sets ◽  
Operating Characteristics ◽  
Partially Ordered ◽  
Receiver Operating

AbstractRanked set sampling (RSS), known as a cost-effective sampling technique, requires that the ranker gives a complete ranking of the units in each set. Frey (2012) proposed a modification of RSS based on partially ordered sets, referred to as RSS-t in this paper, to allow the ranker to declare ties as much as he/she wishes. We consider the problem of estimating the area under a receiver operating characteristics (ROC) curve using RSS-t samples. The area under the ROC curve (AUC) is commonly used as a measure for the effectiveness of diagnostic markers. We develop six nonparametric estimators of the AUC with/without utilizing tie information based on different approaches. We then compare the estimators using a Monte Carlo simulation and an empirical study with real data from the National Health and Nutrition Examination Survey. The results show that utilizing tie information increases the efficiency of estimating the AUC. Suggestions about when to choose which estimator are also made available to practitioners.

Completions of Pseudo Ordered Sets

Order ◽  
2021 ◽  
Author(s):  
Maria D. Cruz-Quinones ◽  
John Harding
Keyword(s):  
Ordered Sets

scholarly journals Model Checking Existential Logic on Partially Ordered Sets

2016 ◽  
Vol 17 (2) ◽  
pp. 1-35 ◽  
Author(s):  
Simone Bova ◽  
Robert Ganian ◽  
Stefan Szeider
Keyword(s):  
Model Checking ◽  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered

Planar zero divisor graphs of partially ordered sets

2012 ◽  
Vol 137 (1-2) ◽  
pp. 27-35 ◽  
Author(s):  
M. Afkhami ◽  
Z. Barati ◽  
K. Khashyarmanesh
Keyword(s):  
Zero Divisor ◽  
Partially Ordered Sets ◽  
Ordered Sets ◽  
Partially Ordered
Sign in / Sign up

Export Citation Format

Share Document