Chain-complete posets and directed sets with applications
From MaRDI portal
Publication:1227632
DOI10.1007/BF02485815zbMath0332.06001WikidataQ55934082 ScholiaQ55934082MaRDI QIDQ1227632
Publication date: 1976
Published in: Algebra Universalis (Search for Journal in Brave)
Related Items (94)
Transporting continuity properties from a poset to its subposets ⋮ On Well-Founded Set-Inductions and Locally Monotone Operators ⋮ Relational algebraic semantics of deterministic and nondeterministic programs ⋮ Correctness of fixpoint transformations ⋮ Generalized Scott topology on sets with families of pre-orders ⋮ Embedding \(\omega\)-continuous posets in function spaces of domains ⋮ Comparing Cartesian closed categories of (core) compactly generated spaces ⋮ Essential and density topologies of continuous domains ⋮ Increasing selections from increasing multifunctions ⋮ Strictness analysis and denotational abstract interpretation ⋮ Interim Bayesian Nash equilibrium on universal type spaces for supermodular games ⋮ Convergence of chaotic iterative least fixed point computations ⋮ Unnamed Item ⋮ Continuous monoids and semirings ⋮ Ultimate approximation and its application in nonmonotonic knowledge representation systems ⋮ Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices ⋮ On extremal pure Nash equilibria for mixed extensions of normal-form games ⋮ Generalization of Continuous Posets ⋮ Imperative abstractions for functional actions ⋮ Existence and comparison results for fixed points of multifunctions with applications to normal-form games ⋮ On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics ⋮ The interplay between weak topologies on topological semilattices ⋮ The equational logic of fixed points ⋮ Stone space partitions indexed by a poset ⋮ Markov distributional equilibrium dynamics in games with complementarities and no aggregate risk ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Fixed point structures on a set-mapping pair and Cartesian product ⋮ Monotone equilibria in nonatomic supermodular games. A comment ⋮ A uniform approach to completions of posets ⋮ Unique Tarski Fixed Points ⋮ Varieties of chain-complete algebras ⋮ Unnamed Item ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ Some further results on pointfree convex geometry ⋮ A note on the Knaster-Tarski fixpoint theorem ⋮ Fixed points and completeness in metric and generalized metric spaces ⋮ Tree constructions of free continuous algebras ⋮ A constructive study of Markov equilibria in stochastic games with strategic complementarities ⋮ Fixed point theorems and semantics: A folk tale ⋮ Exponentiable morphisms of domains ⋮ On H-sober spaces and H-sobrifications of \(T_0\) spaces ⋮ Unnamed Item ⋮ Borel structurability by locally finite simplicial complexes ⋮ On the structure of certain po-semigroups ⋮ Unlocking of predicate: application to constructing a non-anticipating selection ⋮ On extremal solutions of inclusion problems with applications to game theory ⋮ Machine semantics ⋮ Reverse mathematics and order theoretic fixed point theorems ⋮ Monads and theories ⋮ The fixed-point theory of strictly causal functions ⋮ Time consistent Markov policies in dynamic economies with quasi-hyperbolic consumers ⋮ Suprema of chains of operators ⋮ Fixpoints for general correctness ⋮ Some remarks on pseudotrees ⋮ Fixed point theorems and their applications to theory of Nash equilibria ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Topological spaces with the Freese-nation property ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item ⋮ Monotone Relations, Fixed Points and Recursive Definitions ⋮ A generalization of the Dedekind-MacNeille completion ⋮ Unnamed Item ⋮ Toward an algebraic theory of systems ⋮ Categories of chain-complete posets ⋮ A characterization of weakest preconditions ⋮ The Lawson number of a semitopological semilattice ⋮ On countable completions of quotient ordered semigroups ⋮ On the existence of optimal fixpoints ⋮ The space of formal balls and models of quasi-metric spaces ⋮ An order-algebraic definition of knuthian semantics ⋮ A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures ⋮ The \(R\)-completion of closure spaces ⋮ Three counterexamples concerning ω-chain completeness and fixed point properties ⋮ Algebraic Systems and Pushdown Automata ⋮ Comparing recursive equilibrium in economies with dynamic complementarities and indeterminacy ⋮ Completion of Boolean algebras in MSet ⋮ Equational theories for automata ⋮ A qualitative theory of large games with strategic complementarities ⋮ A unified method for completions of posets and closure spaces ⋮ Denotational Semantics with Nominal Scott Domains ⋮ Kleene chain completeness and fixedpoint properties ⋮ Unnamed Item ⋮ Order completion monads ⋮ \(*\)-\(\mu\)-semirings and \(*\)-\(\lambda\)-semirings ⋮ On finite-state approximants for probabilistic computation tree logic ⋮ Existence of stationary Markov perfect equilibria in stochastic altruistic growth economies ⋮ Extension of valuations on locally compact sober spaces ⋮ Closure spaces and completions of posets ⋮ On the Yoneda completion of a quasi-metric space ⋮ Differential information in large games with strategic complementarities ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains ⋮ Injectivity of directed complete poset acts ⋮ Relation-algebraic computation of fixed points with applications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Categories of chain-complete posets
- Some theorems in set theory and applications in the ideal theory of partially ordered sets
- A lemma on directed sets and chains
- A lattice-theoretical fixpoint theorem and its applications
- A characterization of complete lattices
- Hüllensysteme und Erweiterung von Quasi‐Ordnungen
- A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
This page was built for publication: Chain-complete posets and directed sets with applications