ConceptDynamics / CONCEPT
Decidable Weak Pareto Order on the Finite Quotient
Existential weak Pareto dominance on explicit finite classes is representative-independent, decidable by a finite scan, and a partial order.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS1
Representative-independent decidable partial order
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Adjudication Stop Target Correctnessstructural-affinity · Closed
- Decidable Symmetric Pareto Kernelstructural-affinity · Closed
- Explicit Finite Pareto Quotientstructural-affinity · Closed
- Gain Difference Cocyclestructural-affinity · Closed
- OP5 Pareto Stop Equivalences Are Refutedstructural-affinity · Closed
- Pareto Frontier Does Not Determine Stopstructural-affinity · Closed
- Pareto Weak Dominance Preorderstructural-affinity · Closed
- Settle Stop Input Conservationstructural-affinity · Closed
- Symmetric Pareto Kernel and Vector Equalitystructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance