Almost every domain is universal

DOI10.1016/J.ENTCS.2007.02.030MaRDI QIDQ5262933zbMATHOpenAlexFDO

Authors Manfred Droste, Dietrich Kuske

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.030

zbMATH Keywords

constructive mathematicsdomain theorytopological modelsprobabilistic systemsuniversal homogeneous domains

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• Universal homogeneous graph-like structures and domains
• Finite Axiomatizations for Universal Domains
• Universal domains and the amalgamation property
• scientific article; zbMATH DE number 956838
• scientific article; zbMATH DE number 1456958

Cites work

• scientific article; zbMATH DE number 7227247 (Why is no real title available?)
• scientific article; zbMATH DE number 3783068 (Why is no real title available?)
• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3482343 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• Asymmetric graphs
• Coherence and consistency in domains
• Data Types as Lattices
• Finite Axiomatizations for Universal Domains
• On random relational structures
• Projective topology on bifinite domains and applications
• Pseudo-retract functors for local lattices and bifinte L-domains
• Random orders and gambler's ruin
• Sur l'extension aux relations de quelques propriétés des ordres
• Theory of relations. Transl. from the French by P. Clote
• UNIVERSAL INFORMATION SYSTEMS
• Universal domains and the amalgamation property
• Universal graphs and universal functions
• Universal homogeneous causal sets
• Universal profinite domains
• \(\mathbb{T}^\omega\) as a universal domain

Cited in

(4)

• Universal homogeneous graph-like structures and domains
• Universal profinite domains
• Anatomy of a domain of continuous random variables. I
• Countable random 𝑝-groups with prescribed Ulm-invariants

This page was built for publication: Almost every domain is universal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262933)