Pages that link to "Item:Q1227632"
From MaRDI portal
The following pages link to Chain-complete posets and directed sets with applications (Q1227632):
Displaying 50 items.
- Generalized Scott topology on sets with families of pre-orders (Q276404) (← links)
- Essential and density topologies of continuous domains (Q290633) (← links)
- Reverse mathematics and order theoretic fixed point theorems (Q527337) (← links)
- Suprema of chains of operators (Q548210) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Continuous monoids and semirings (Q596031) (← links)
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- A generalization of the Dedekind-MacNeille completion (Q722567) (← links)
- A unified method for completions of posets and closure spaces (Q780099) (← links)
- Relation-algebraic computation of fixed points with applications (Q817578) (← links)
- Interim Bayesian Nash equilibrium on universal type spaces for supermodular games (Q848617) (← links)
- On extremal pure Nash equilibria for mixed extensions of normal-form games (Q875272) (← links)
- Existence and comparison results for fixed points of multifunctions with applications to normal-form games (Q882013) (← links)
- Monotone equilibria in nonatomic supermodular games. A comment (Q894622) (← links)
- On extremal solutions of inclusion problems with applications to game theory (Q949735) (← links)
- Machine semantics (Q959818) (← links)
- On countable completions of quotient ordered semigroups (Q1006337) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- Kleene chain completeness and fixedpoint properties (Q1052104) (← links)
- Order completion monads (Q1055871) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices (Q1121297) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- Fixed point theorems and semantics: A folk tale (Q1166268) (← links)
- On the structure of certain po-semigroups (Q1185774) (← links)
- Categories of chain-complete posets (Q1241798) (← links)
- A characterization of weakest preconditions (Q1243116) (← links)
- Correctness of fixpoint transformations (Q1329743) (← links)
- Embedding \(\omega\)-continuous posets in function spaces of domains (Q1333186) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On the Yoneda completion of a quasi-metric space (Q1605178) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- Extension of valuations on locally compact sober spaces (Q1862060) (← links)
- Comparing Cartesian closed categories of (core) compactly generated spaces (Q1880712) (← links)
- Monads and theories (Q2001598) (← links)
- The Lawson number of a semitopological semilattice (Q2037077) (← links)
- A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures (Q2050189) (← links)
- The \(R\)-completion of closure spaces (Q2052564) (← links)
- Equational theories for automata (Q2074221) (← links)
- Transporting continuity properties from a poset to its subposets (Q2120965) (← links)
- A note on the Knaster-Tarski fixpoint theorem (Q2200474) (← links)
- Fixed points and completeness in metric and generalized metric spaces (Q2203277) (← links)
- On H-sober spaces and H-sobrifications of \(T_0\) spaces (Q2219292) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- Time consistent Markov policies in dynamic economies with quasi-hyperbolic consumers (Q2259414) (← links)
- Topological spaces with the Freese-nation property (Q2272519) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
