Observationally-induced lower and upper powerspace constructions

DOI10.1016/J.JLAMP.2014.11.004MaRDI QIDQ492906zbMATH OpenOpenAlexFDO

Authors Ingo Battenfeld, Matthias Schröder

Publication date 21 August 2015

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2014.11.004

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Semantics in the theory of computing (68Q55)

Recommendations

• Spaces of observables
• From non-trivial geometries to power spectra and vice versa
• Constructive theory of the lower power locale
• Some characterizations of cosmic-spaces
• Spaces with differential structure and an application to cosmology
• Constructions of ultrapower nonstandard models
• scientific article; zbMATH DE number 7093560
• scientific article; zbMATH DE number 4065241
• scientific article; zbMATH DE number 554486
• An algebra of observables for de Sitter space

Cites work

• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3720983 (Why is no real title available?)
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1107499 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• A Powerdomain Construction
• Algebraic operations and generic effects
• Computational effects and operations: an overview
• Computational effects in topological domain theory
• Continuous Lattices and Domains
• Notions of computation and monads
• Observationally-induced effect monads: upper and lower powerspace constructions
• Power domains
• Probabilistic observations and valuations (extended abstract)

Cited in

(5)

• Observationally-induced algebras in domain theory
• Observationally-induced algebras in domain theory
• Observationally-induced effects in Cartesian closed categories
• Observationally-induced effect monads: upper and lower powerspace constructions
• Upper and lower powerspaces of directed spaces

This page was built for publication: Observationally-induced lower and upper powerspace constructions

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