Annals of Pure and Applied Logic Dynamic topological S5
... 3. Completeness 3.1. Common elements The completeness proofs for our four logics have many elements in common. We recycle some of the ideas used in the literature to prove the completeness of LTL, but we do not proceed exactly as elsewhere. In particular, we have to be attentive to the topological c ...
... 3. Completeness 3.1. Common elements The completeness proofs for our four logics have many elements in common. We recycle some of the ideas used in the literature to prove the completeness of LTL, but we do not proceed exactly as elsewhere. In particular, we have to be attentive to the topological c ...
A NOTE ON WEAKLY (µ, λ)-CLOSED
... characterizations and some basic properties of such functions are obtained. The connections between these functions and some other similar types of functions are given. Finally some comparisons between different weakly closed functions are discussed. This weakly (µ, λ)closed functions enable us to f ...
... characterizations and some basic properties of such functions are obtained. The connections between these functions and some other similar types of functions are given. Finally some comparisons between different weakly closed functions are discussed. This weakly (µ, λ)closed functions enable us to f ...
STRONGLY ALMOST DISJOINT SETS AND WEAKLY UNIFORM
... of isolated points is needed. An analysis of the proof led to the formulation of a combinatorial principle CECA. It turns out that CECA is equivalent to GCH + some previously known weakenings of 2λ , but CECA has a different flavor than 2λ -principles and may be easier to work with. The equivalence ...
... of isolated points is needed. An analysis of the proof led to the formulation of a combinatorial principle CECA. It turns out that CECA is equivalent to GCH + some previously known weakenings of 2λ , but CECA has a different flavor than 2λ -principles and may be easier to work with. The equivalence ...
geometry institute - day 5
... To obtain the shortest path between two points on two adjacent faces, think of the faces as being hinged along the common edge and then lay the faces flat on a table. When the faces are lying flat, the shortest path between A and Bis the line segment joining A to B as shown in figure 2. If C is the ...
... To obtain the shortest path between two points on two adjacent faces, think of the faces as being hinged along the common edge and then lay the faces flat on a table. When the faces are lying flat, the shortest path between A and Bis the line segment joining A to B as shown in figure 2. If C is the ...
Nagata-Smirnov Metrization Theorem.nb
... compact and C is a closed subset of X, C is also compact. Compactness is preserved by continuous functions, so f(C) is also compact. Furthermore, in a Hausdorff space compact sets are closed; thus f(C) is closed, and f-1 is continuous. · Lemma 1.4: Suppose X is a topological space with topology an ...
... compact and C is a closed subset of X, C is also compact. Compactness is preserved by continuous functions, so f(C) is also compact. Furthermore, in a Hausdorff space compact sets are closed; thus f(C) is closed, and f-1 is continuous. · Lemma 1.4: Suppose X is a topological space with topology an ...
3-manifold
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. Intuitively, a 3-manifold can be thought of as a possible shape of the universe. Just like a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.