Dynamic Topological Logic (DT L) is a combination of S4, under its topological interpretation, and the temporal logic LT L interpreted over the natural numbers. DT L is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples 〈X, T , f, V 〉, where 〈X, T 〉 is a topological space, f a function on X and V ...

Dynamic Topological Logic (DT L) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems, which are pairs consisting of a topological space X and a continuous function f : X → X. The function f is seen as a change in one unit of time; within DT L one can model the long-term behavior of such systems as f is iterated. One class of dynamic to...

A theorem of Luxemburg and Zaanen on normed Riesz spaces (Theorem 2.4 below) and one of Nakano (Theorem 2.3 below) have been extended by the author in [1] to metrizable locally solid linear topological Riesz spaces. This note gives an example which shows they cannot be further extended to nonmetrizable Hausdorff locally solid linear topological Riesz spaces. 1. Notation and basic concepts. For ...

Two topological spaces X and Y are said to be l-equivalent if there is a linear homeomorphism between Cp(X) and Cp(Y ), the spaces of continuous functions on X and Y endowed with the pointwise convergence topology. We prove a necessary condition on a topological space to be lequivalent to the n-dimensional cube. This, in particular, combined with a recent result of R. Górak, characterizes the t...

We present a family of algorithms, combining real-space renormalization methods and belief propagation, to estimate the free energy of a topologically ordered system in the presence of defects. Such an algorithm is needed to preserve the quantum information stored in the ground space of a topologically ordered system and to decode topological error-correcting codes. For a system of linear size ...

A particularly simple and flexible mathematical framework for the study of probability theory classical, quantum and otherwise is the notion of a test space, i.e., a collection of (possibly overlapping) discrete sample spaces (as developed in the 1970s and 80s by D. J. Foulis, C. H. Randall and others). “Quantum logics” arise quite naturally as invariants of test spaces; however, the latter are...

We construct localization cofiber sequences for the topological Hochschild homology (THH) and topological cyclic homology (TC) of spectral categories. Using a “global” construction of the THH and TC of a scheme in terms of the perfect complexes in a spectrally enriched version of the category of unbounded complexes, the sequences specialize to localization cofiber sequences associated to the in...

The aim of this paper is to introduce the concepts of fuzzy upper and fuzzy lower almost continuous, weakly continuous and almost weakly continuous multifunctions. Several characterizations and properties of these multifunctions along with their mutual relationships are established in $L$-fuzzy topological spaces

We provide a new construction of the topological cyclic homology TC(C) of any spectrally-enriched ∞-category C, which affords a precise algebro-geometric interpretation of the cyclotomic trace map K(X) → TC(X) from algebraic K-theory to topological cyclic homology for any scheme X. This construction rests on a new identification of the cyclotomic structure on THH(C), which we find to be a conse...