Search results for " topology"
showing 10 items of 1371 documents
Relative principal congruences in congruence-modular quasivarieties
1998
The problem of definability of relative principal congruences in relatively congruence modular (RCM) quasivarieties is investigated. The RCM quasivarieties are characterized in terms of parameterized families of finite sets of pairs of terms which define relative principal congruences.
Rejoinder on: Natural Induction: An Objective Bayesian Approach
2009
Giron and Moreno. We certainly agree with Professors Giron and Moreno on the interest in sensitivity of any Bayesian result to changes in the prior. That said, we also consider of considerable pragmatic importance to be able to single out a unique, particular prior which may reasonably be proposed as the reference prior for the problem under study, in the sense that the corresponding posterior of the quantity of interest could be routinely used in practice when no useful prior information is available or acceptable. This is precisely what we have tried to do for the twin problems of the rule of succession and the law of natural induction. The discussants consider the limiting binomial versi…
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences
2022
With more than 50 years of literature, fuzzy logic has gradually progressed from an emerging field to a developed research domain, incorporating the sub-domain of mathematical fuzzy logic (MFL) [...]
Test ideals via algebras of 𝑝^{-𝑒}-linear maps
2012
Building on previous work of Schwede, Böckle, and the author, we study test ideals by viewing them as minimal objects in a certain class of modules, called F F -pure modules, over algebras of p − e p^{-e} -linear operators. We develop the basics of a theory of F F -pure modules and show an important structural result, namely that F F -pure modules have finite length. This result is then linked to the existence of test ideals and leads to a simplified and generalized treatment, also allowing us to define test ideals in non-reduced settings. Combining our approach with an observation of Anderson on the contracting property of p − e p^{-e} -linear operators yields an elementary approach to tes…
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)
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.
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.