6,372 research outputs found
Topological Semantics and Decidability
It is well-known that the basic modal logic of all topological spaces is
. However, the structure of basic modal and hybrid logics of classes of
spaces satisfying various separation axioms was until present unclear. We prove
that modal logics of , and topological spaces coincide and are
S4T_1 spaces coincide.Comment: presentation changes, results about concrete structure adde
Some applications of the ultrapower theorem to the theory of compacta
The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions
as elementary equivalence, elementary embedding and existential embedding to be
couched in the language of categories (limits, morphism diagrams). This in turn
allows analogs of these (and related) notions to be transported into unusual
settings, chiefly those of Banach spaces and of compacta. Our interest here is
the enrichment of the theory of compacta, especially the theory of continua,
brought about by the immigration of model-theoretic ideas and techniques
Reduced Coproducts of Compact Hausdorff Spaces
By analyzing how one obtains the Stone space of the reduced product of an indexed collection of Boolean algebras from the Stone spaces of those algebras, we derive a topological construction, the reduced coproduct , which makes sense for indexed collections of arbitrary Tichonov spaces. When the filter in question is an ultrafilter, we show how the ultracoproduct can be obtained from the usual topological ultraproduct via a compactification process in the style of Wallman and Frink. We prove theorems dealing with the topological structure of reduced coproducts (especially ultracoproducts) and show in addition how one may use this construction to gain information about the category of compact Hausdorff spaces
Algebraic totality, towards completeness
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose
objects can be seen as linearly topologised spaces, (a class of topological
vector spaces introduced by Lefschetz in 1942) and morphisms as continuous
linear maps. First, we recall definitions of finiteness spaces and describe
their basic properties deduced from the general theory of linearly topologised
spaces. Then we give an interpretation of LL based on linear algebra. Second,
thanks to separation properties, we can introduce an algebraic notion of
totality candidate in the framework of linearly topologised spaces: a totality
candidate is a closed affine subspace which does not contain 0. We show that
finiteness spaces with totality candidates constitute a model of classical LL.
Finally, we give a barycentric simply typed lambda-calculus, with booleans
and a conditional operator, which can be interpreted in this
model. We prove completeness at type for
every n by an algebraic method
- …