Observationally-induced lower and upper powerspace constructions
From MaRDI portal
Publication:492906
DOI10.1016/J.JLAMP.2014.11.004zbMATH Open1337.68159OpenAlexW2064350535MaRDI QIDQ492906FDOQ492906
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
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
- Algebraic operations and generic effects
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notions of computation and monads
- Computational effects and operations: an overview
- Probabilistic observations and valuations (extended abstract)
- Observationally-induced effect monads: upper and lower powerspace constructions
- A Powerdomain Construction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Power domains
- Computational effects in topological domain theory
- Title not available (Why is that?)
Cited In (5)
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)
