Search results for "TOPOLOGY"

A spectral mapping theorem for perturbed strongly continuous semigroups

1991

A constructive semantics for non-deducibility

2008

This paper provides a constructive topological semantics for non-deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co-induction are two needful tools. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Birkhoff-Frink representations as functors

2010

In an earlier article we characterized, from the viewpoint of set theory, those closure operators for which the classical result of Birkhoff and Frink, stating the equivalence between algebraic closure spaces, subalgebra lattices and algebraic lattices, holds in a many-sorted setting. In the present article we investigate, from the standpoint of category theory, the form these equivalences take when the adequate morphisms of the several different species of structures implicated in them are also taken into account. Specifically, our main aim is to provide a functorial rendering of the Birkhoff-Frink representation theorems for both single-sorted algebras and many-sorted algebras, by definin…

Zur Geometrie der Translationsstrukturen mit eigentlichen Dilatationen

1983

Ein Axiomensystem f�r partielle affine R�ume

1994

A partial linear space with parallelism is called partial affine space if it is embeddable in an affine space with the same pointset preserving the parallelism. These partial affine spaces will be characterized by a system of three axioms for partial linear spaces with parallelism.

Topology, Matter, and Space, I: Topological Notions in 19th-Century Natural Philosophy

1998

L'A. montre l'impact de la topologie dans le developpement de la theorie dynamique des phenomenes physiques ainsi que les speculations de la structure topologique de l'espace

A class of unitals of order q which can be embedded in two different planes of order q2

1987

By deriving the desarguesian plane of order q2 for every prime power q a unital of order q is constructed which can be embedded in both the Hall plane and the dual of the Hall plane of order q2 which are non-isomorphic projective planes. The representation of translation planes in the fourdimensional projective space of J. Andre and F. Buekenhouts construction of unitals in these planes are used. It is shown that the full automorphism groups of these unitals are just the collineation groups inherited from the classical unitals.

Kollineationen und Schliessungssätze für Ebene Faserungen

1979

Every affine central collineation of a translation plane π induces a special collineation of the projective space π spanned by the spreadF belonging to π. Here the relations between these special collineations of π and certain incidence propositions inF are investigated; so new proofs are given for some characterisations of (A,B)-regular spreads included in [7].

The module structure of Hochschild homology in some examples

2008

Abstract In this Note we give a simple proof of a conjecture by A. Caldararu stating the compatibility between the modified Hochschild–Kostant–Rosenberg isomorphism and the action of Hochschild cohomology on Hochschild homology in the case of Calabi–Yau manifolds and smooth projective curves. To cite this article: E. Macri` et al., C. R. Acad. Sci. Paris, Ser. I 346 (2008).

Fuzzy algebras as a framework for fuzzy topology

2011

The paper introduces a variety-based version of the notion of the (L,M)-fuzzy topological space of Kubiak and Sostak and embeds the respective category into a suitable modification of the category of topological systems of Vickers. The new concepts provide a common framework for different approaches to fuzzy topology and topological systems existing in the literature, paving the way for studying the problem of interweaving algebra and topology in mathematics, which was raised by Denniston, Melton and Rodabaugh in their recent research on variable-basis topological systems over the category of locales.